Format:
1 Online-Ressource (133 S.)
,
graph. Darst.
ISBN:
3540092374
,
0387092374
Series Statement:
Lecture notes in computer science 68
Note:
Zugl. Überarb.: Cambridge, Mass., Diss., 1978
Language:
English
Subjects:
Computer Science
Keywords:
Programmierung
;
Logik
;
Mathematische Logik
;
Hochschulschrift
;
Hochschulschrift
DOI:
10.1007/3-540-09237-4
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Author information:
Harel, David 1950-