Format:
VIII, 727 S.
,
Ill., graph. Darst.
ISBN:
0262121565
Note:
Festschrift Alan Robinson
Language:
English
Subjects:
Computer Science
,
Mathematics
Keywords:
Automatisches Beweisverfahren
;
Logische Programmierung
;
Computational logic
;
Automatisches Beweisverfahren
;
Logische Programmierung
;
Aufsatzsammlung
;
Festschrift