Format:
1 Online-Ressource (166 S.)
,
graph. Darst.
,
235 mm x 155 mm
Edition:
Reprint of the 1989 ed.
ISBN:
9780817647636
Series Statement:
Progress in computer science and applied logic 8
Note:
Literaturverz. S. 155 - 159
Additional Edition:
Erscheint auch als Druck-Ausgabe, Paperback ISBN 0-8176-4762-7
Additional Edition:
Erscheint auch als Druck-Ausgabe, Paperback ISBN 978-0-8176-4762-9
Language:
English
Subjects:
Computer Science
Keywords:
Mathematische Logik
;
Logische Programmierung
;
Datenverarbeitung
;
Logik
;
Logik
;
Informatik
DOI:
10.1007/978-0-8176-4763-6
Author information:
Schöning, Uwe 1955-