Umfang:
xx, 364 Seiten
ISBN:
9783030290061
Serie:
Lecture notes in computer science 11715
Weitere Ausg.:
Erscheint auch als Online-Ausgabe ISBN 978-3-030-29007-8
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Automatisches Beweisverfahren
;
Verifikation
;
Computational logic
;
Terminologische Logik
;
Komplexitätstheorie
;
Künstliche Intelligenz
;
Theoretische Informatik
;
Logik
;
Programmierung
;
Konferenzschrift