Format:
XII, 534 S. :
,
graph. Darst. ;
,
24 cm.
ISBN:
978-3-642-14202-4
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