UID:
kobvindex_ZLB15058055
Format:
XIV, 504 Seiten
,
graph. Darst.
,
24 cm
ISBN:
9783642029585
Series Statement:
Lecture notes in computer science
Note:
Literaturangaben
,
Text engl.
Language:
English
Keywords:
Automatisches Beweisverfahren
;
Kongress
;
Montréal 〈2009〉
;
Kongress
;
Konferenzschrift
URL:
http://d-nb.info/995195927/04