Format:
XIV, 509 S.
,
graph. Darst.
,
24 cm
ISBN:
354055727X
,
038755727X
Series Statement:
Lecture notes in computer science 624
Note:
Literaturangaben
Additional Edition:
Online-Ausg. Logic programming and automated reasoning Berlin [u.a.] : Springer, 1992 ISBN 9783540472797
Additional Edition:
Erscheint auch als Online-Ausgabe Voronkov, Andrei Logic Programming and Automated Reasoning Berlin, Heidelberg : Springer Berlin Heidelberg, 1992 ISBN 9783540472797
Language:
English
Subjects:
Computer Science
Keywords:
Logische Programmierung
;
Automatisches Beweisverfahren
;
Konferenzschrift
Bookmarklink