Umfang:
XIII, 463 S
,
graph. Darst
ISBN:
3540000100
Serie:
Lecture notes in computer science 2514
Anmerkung:
Literaturangaben
Weitere Ausg.:
Erscheint auch als Online-Ausgabe Baaz, Matthias Logic for Programming, Artificial Intelligence, and Reasoning Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2002 ISBN 9783540360780
Weitere Ausg.:
ISBN 3540000100
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Logische Programmierung
;
Automatisches Beweisverfahren
;
Programmierlogik
;
Logische Programmierung
;
Automatisches Beweisverfahren
;
Programmierlogik
;
Konferenzschrift