|
|
|
|
LEADER |
00686nam a22001811a 4500 |
999 |
|
|
|c 16957
|d 16957
|
020 |
|
|
|a 9780198537465
|
082 |
|
|
|a 153.43
|b DOV/H
|
245 |
|
|
|a Handbook of logic in artificial intelligence and logic programming (v.2 : deduction methodologies )/
|c edited by Dov M Gabbay.
|
260 |
|
|
|a New York:
|b Oxford University Press,
|c 1996.
|
300 |
|
|
|a 511p.
|
650 |
|
|
|a Logic Deduction
|
650 |
|
|
|a Artificial Intelligence
|
650 |
|
|
|a Philosophy
|
700 |
|
|
|a Hogger C J (ed.)
|
700 |
|
|
|a Dov M Gabbay (ed.)
|
942 |
|
|
|c REF
|
952 |
|
|
|0 0
|1 0
|4 0
|6 R_153_430000000000000_DOV_H
|7 0
|9 23894
|a SSUS
|b SSUS
|c REF
|d 2015-01-08
|g 14668.50
|o R 153.43 DOV/H
|p 046020
|r 2015-01-08
|v 0.00
|w 2015-01-08
|y REF
|