Format:
XIV, 384 Seiten
,
Diagramme
ISBN:
9783030021481
Series Statement:
Lecture notes in computer science 11194
Additional Edition:
Erscheint auch als ISBN 978-3-030-02149-8
Language:
English
Subjects:
Computer Science
Keywords:
Berechnungstheorie
;
Komplexitätstheorie
;
Automatentheorie
;
Soft Computing
;
Evolutionärer Algorithmus
;
Selbstorganisation
;
Neuroinformatik
;
HOL
;
Isabelle
;
Programmverifikation
;
Algebraische Methode
;
Mathematische Logik
;
Relationenalgebra
;
Kleene-Algebra
;
Algebraische Spezifikation
;
Konferenzschrift
Author information:
Desharnais, Jules