Format:
1 Online-Ressource (XXVIII, 640 p.)
,
graph. Darst.
Edition:
1st ed. 2015
ISBN:
9783319214016
,
9783319214009
Series Statement:
Lecture Notes in Computer Science 9195
Language:
English
Keywords:
Automatisches Beweisverfahren
;
Konferenzschrift
