|
|
|
|
| LEADER |
00000cam a22000002a 4500 |
| 003 |
UV# |
| 005 |
20151006204305.0 |
| 008 |
010514s1991 enka 000 0 eng d |
| 020 |
|
|
|a 0521424216 (pbk)
|
| 020 |
|
|
|a 0521352363
|
| 040 |
|
|
|a DLC
|b spa
|c UV#
|
| 050 |
|
4 |
|a Q335
|b R35
|
| 100 |
1 |
|
|a Ramsay, Allan,
|d 1953-
|9 366136
|
| 245 |
1 |
0 |
|a Formal methods in artificial intelligence /
|c Allan Ramsay.
|
| 260 |
|
|
|a Cambridge ;
|a New York :
|b Cambridge University Press,
|c 1991.
|
| 300 |
|
|
|a ix, 279 p. :
|b il. ;
|c 25 cm.
|
| 490 |
0 |
0 |
|a Cambridge tracts in theoretical computer science ;
|v 6
|
| 504 |
|
|
|a Bibliografía: p. [273]-275.
|
| 650 |
|
4 |
|a Inteligencia artificial
|x Metodología.
|
| 650 |
|
4 |
|a Lógica matemática.
|
| 650 |
|
4 |
|a Razonamiento.
|
| 902 |
|
|
|a DGBUV
|
| 942 |
|
|
|c LIBRO
|2 lcc
|6 _
|
| 999 |
|
|
|c 98350
|d 98350
|
