Umfang:
1 Online-Ressource (133 S.)
,
graph. Darst.
ISBN:
3540092374
,
0387092374
Serie:
Lecture notes in computer science 68
Anmerkung:
Zugl. Überarb.: Cambridge, Mass., Diss., 1978
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Programmierung
;
Logik
;
Mathematische Logik
;
Hochschulschrift
;
Hochschulschrift
DOI:
10.1007/3-540-09237-4
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Mehr zum Autor:
Harel, David 1950-
Bookmarklink