Format:
1 Online-Ressource (IX, 563 Seiten)
,
Illustrationen
ISBN:
3540250514
,
9783540250517
,
9783540322542
Series Statement:
Lecture notes in computer science 2605
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-540-25051-7
Language:
English
Subjects:
Computer Science
,
Philosophy
Keywords:
Logischer Schluss
;
Automatisches Beweisverfahren
;
Softwareentwicklung
;
Formale Methode
;
Aufsatzsammlung
;
Festschrift
;
Aufsatzsammlung
Bookmarklink