Book
Oxford [u.a.] : Clarendon Press
Format:
XVI, 611 S
,
graph. Darst
ISBN:
0198537913
Series Statement:
Handbook of logic in artificial intelligence and logic programming / executive ed. Dov M. Gabbay Vol. 4
Note:
Literaturangaben
Language:
English
Subjects:
Computer Science
Keywords:
Temporale Logik
Author information:
Gabbay, Dov M. 1945-
Library |
Location |
Call Number |
Volume/Issue/Year |
Availability |