Format:
xxiii, 582 Seiten
,
Diagramme
ISBN:
9783030294359
Series Statement:
Lecture notes in computer science 11716
Additional Edition:
Erscheint auch als Online-Ausgabe ISBN 978-3-030-29436-6
Language:
English
Subjects:
Computer Science
Keywords:
Automatisches Beweisverfahren
;
Konferenzschrift