Format:
VIII, 364 S
,
Ill., graph. Darst
ISBN:
354053590X
,
038753590X
Series Statement:
Lecture notes in computer science 475
Note:
Literaturangaben
Additional Edition:
Online-Ausg. Extensions of logic programming Berlin [u.a.] : Springer, 1991 ISBN 9783540468790
Additional Edition:
Erscheint auch als Online-Ausgabe Schroeder-Heister, Peter, 1953 - Extensions of Logic Programming Berlin, Heidelberg : Springer Berlin Heidelberg, 1991 ISBN 9783540468790
Language:
English
Subjects:
Computer Science
Keywords:
Logische Programmierung
;
Beweistheorie
;
Konferenzschrift
URL:
http://www.loc.gov/catdir/enhancements/fy0815/91000054-d.html