LEADER 00865nam a2200241 a 4500
001 681166
005 20171111230450.0
008 000101u--------gr r u000 0 Eng d
020 |a 0198537913 
040 |a GR-AtNTU  |b gre 
082 0 |a 006.3 HAN 
245 1 0 |a Epistemic and temporal reasoning /  |c Edited by Dov M. Gabbay, C. J. Hogger, J. A. Robinson ; ; Volume coordinator: Antony Galton 
260 |a Oxford:  |b Clarendon Pr.,  |c c199 
300 |a xvii, 611 p. ;  |c 25 cm. 
490 0 |a Handbooks of logic in computer science and artificial intelligence and logic programming 
504 |a Includes index. 
650 1 0 |a Artificial intelligence 
650 1 0 |a Logic programming 
700 1 |a Cabbay, Dov. M. 
700 1 |a Hogger, C. J. 
700 1 |a Robinson, J. A. 
700 1 |a Galton, Antony 
952 |a GR-AtNTU  |b 59cc1eb56c5ad13446f83493  |c 998a  |d 945l  |e 006.3 HAN  |t 3  |x m  |z Books