|
|
|
|
| LEADER |
00699 a2200193 4500 |
| 008 |
090320t xxu||||| |||| 00| 0 eng d |
| 020 |
|
|
|a 9 780521 352369
|
| 082 |
|
|
|a 004.383 8 RAM
|
| 100 |
|
|
|a Ramsay, Allan
|9 7242
|
| 245 |
|
|
|a Formal methods in artificial intelligence/
|c Allan Ramsay
|
| 260 |
|
|
|a Cambridge
|b Cambridge University press
|c 1988
|
| 300 |
|
|
|a ix, 279p.
|
| 650 |
|
|
|a Artificial intelligence - Methodology.
|9 3604
|
| 650 |
|
|
|a Logic, symbolic and mathematical.
|9 3605
|
| 650 |
|
|
|a Reasoning.
|9 3606
|
| 700 |
|
|
|a Ramsay, Allan
|9 3602
|
| 942 |
|
|
|2 ddc
|c BK
|6 _
|
| 999 |
|
|
|c 85052
|d 85052
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 0048_RAM
|7 0
|9 106314
|a DCA
|b DCA
|d 2009-03-20
|o 004.8 RAM
|p CA001002
|r 2009-03-20
|w 2015-12-11
|y BK
|