Format:
162 S
,
graph. Darst
ISBN:
3540527346
,
0387527346
Series Statement:
Lecture notes in mathematics 1429
Note:
Literaturangaben
Additional Edition:
Erscheint auch als Online-Ausgabe Homer, Steven Logic and Computer Science Berlin, Heidelberg : Springer Berlin Heidelberg, 1990 ISBN 9783540471356
Additional Edition:
ISBN 9783540527343
Language:
English
Subjects:
Mathematics
Keywords:
Logische Programmierung
;
Funktionale Programmiersprache
;
Komplexitätstheorie
;
Programmverifikation
;
Konstruktive Logik
;
Logische Programmierung
;
Funktionale Programmiersprache
;
Komplexitätstheorie
;
Programmverifikation
;
Konstruktive Logik
;
Konferenzschrift