Format:
1 Online-Ressource (xx, 365 Seiten)
,
Illustrationen, Diagramme
ISBN:
9783030290078
Series Statement:
Lecture notes in computer science 11715
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-030-29006-1
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-030-29008-5
Language:
English
Subjects:
Computer Science
Keywords:
Theoretische Informatik
;
Logik
;
Programmierung
;
Automatisches Beweisverfahren
;
Verifikation
;
Computational logic
;
Terminologische Logik
;
Komplexitätstheorie
;
Künstliche Intelligenz
;
Konferenzschrift
DOI:
10.1007/978-3-030-29007-8
URL:
Volltext
(URL des Erstveröffentlichers)
Bookmarklink