Format:
X, 323 S.
,
Ill., graph. Darst.
ISBN:
3540660860
Series Statement:
Lecture notes in computer science 1617 : Lecture notes in artificial intelligence
Language:
English
Subjects:
Computer Science
Keywords:
Automatisches Beweisverfahren
;
Logischer Schluss
;
Automation
;
Konferenzschrift
;
Kongress
;
Konferenzschrift
;
Konferenzschrift
Bookmarklink