Format:
xx, 364 Seiten
ISBN:
9783030290061
Series Statement:
Lecture notes in computer science 11715
Additional Edition:
Erscheint auch als Online-Ausgabe ISBN 978-3-030-29007-8
Language:
English
Subjects:
Computer Science
Keywords:
Automatisches Beweisverfahren
;
Verifikation
;
Computational logic
;
Terminologische Logik
;
Komplexitätstheorie
;
Künstliche Intelligenz
;
Theoretische Informatik
;
Logik
;
Programmierung
;
Konferenzschrift