Format:
xvi, 305 Seiten
,
Illustrationen, Diagramme
ISBN:
9783030862046
Series Statement:
Lecture notes in computer science 12941
Additional Edition:
Erscheint auch als Online-Ausgabe ISBN 978-3-030-86205-3
Language:
English
Subjects:
Computer Science
Keywords:
Automatisches Beweisverfahren
;
Verifikation
;
Computational logic
;
Terminologische Logik
;
Komplexitätstheorie
;
Künstliche Intelligenz
;
Theoretische Informatik
;
Logik
;
Programmierung
;
Konferenzschrift