Format:
XII, 495 S. :
,
graph. Darst.
Edition:
1. printed
ISBN:
0-201-56514-5
Series Statement:
International computer science series
Note:
Literaturverz. S. 485 - 490
Language:
English
Subjects:
Computer Science
,
Mathematics
Keywords:
Mathematische Logik
;
Datenverarbeitung
;
Logik
;
Informatik
;
Künstliche Intelligenz
Author information:
Antoniou, Grigoris, 1961-