Format:
XXVIII, 640 S. :
,
graph. Darst.
ISBN:
978-3-319-21400-9
Series Statement:
Lecture notes in computer science 9195 : Lecture notes in artificial intelligence
Additional Edition:
Erscheint auch als Online-Ausgabe ISBN 978-3-319-21401-6
Language:
English
Keywords:
Automatisches Beweisverfahren
;
Konferenzschrift
;
Konferenzschrift
;
Konferenzschrift