Format:
XII, 534 S.
,
graph. Darst.
,
24 cm
ISBN:
9783642142024
Series Statement:
Lecture notes in computer science 6173 : Lecture notes in artificial intelligence
Note:
Literaturangaben
Language:
English
Subjects:
Computer Science
Keywords:
Automatisches Beweisverfahren
;
Programmierlogik
;
Beweistheorie
;
Logik
;
Konferenzschrift