Format:
XIII, 463 S
,
graph. Darst
ISBN:
3540000100
Series Statement:
Lecture notes in computer science 2514
Note:
Literaturangaben
Additional Edition:
Erscheint auch als Online-Ausgabe Baaz, Matthias Logic for Programming, Artificial Intelligence, and Reasoning Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2002 ISBN 9783540360780
Additional Edition:
ISBN 3540000100
Language:
English
Subjects:
Computer Science
Keywords:
Logische Programmierung
;
Automatisches Beweisverfahren
;
Programmierlogik
;
Logische Programmierung
;
Automatisches Beweisverfahren
;
Programmierlogik
;
Konferenzschrift