Format:
XV, 680 S.
,
graph. Darst.
ISBN:
9783540371878
,
3540371877
Series Statement:
Lecture notes in computer science 4130 : Lecture notes in artificial intelligence
Language:
English
Subjects:
Computer Science
Keywords:
Automatisches Beweisverfahren
;
Programmierlogik
;
Beweistheorie
;
Logik
;
Konferenzschrift
Author information:
Furbach, Ulrich 1948-