|
|
|
|
| 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
|