Format:
XIV, 504 S. :
,
graph. Darst. ;
,
24 cm.
ISBN:
978-3-642-02958-5
Series Statement:
Lecture notes in computer science 5663 : Lecture notes in artificial intelligence
Note:
Literaturangaben
Language:
English
Keywords:
Automatisches Beweisverfahren
;
Konferenzschrift
;
Konferenzschrift