|
|
|
|
| LEADER |
00832nam a2200241 u 4500 |
| 001 |
000055089 |
| 005 |
20230105161730.0 |
| 008 |
991025s1984 xxu gr ||||| eng d |
| 020 |
|
|
|a 0130544469
|
| 035 |
|
|
|a 5704113
|
| 040 |
|
|
|a Sistema de Bibliotecas de la Universidad de Costa Rica
|
| 082 |
0 |
|
|a 006.3
|b A939a
|2 20
|
| 100 |
1 |
|
|a Wos, Larry
|e Autor/a
|
| 245 |
1 |
0 |
|a Automated reasoning :
|b introduction and applications /
|c Larry Wos, Ross Overbeek, Ewing Lusk, Jim Boyle.
|
| 260 |
|
|
|a Englewood Cliffs, N.J. :
|b Prentice Hall,
|c 1984.
|
| 300 |
|
|
|a 482 páginas.
|
| 650 |
0 |
7 |
|a INTELIGENCIA ARTIFICIAL
|
| 650 |
0 |
7 |
|a COMPUTADORAS ELECTRONICAS DIGITALES
|
| 700 |
1 |
|
|a Overbeek, Ross
|e Autor/a
|
| 700 |
1 |
|
|a Lusk, Ewing
|e Autor/a
|
| 700 |
1 |
|
|a Boyle, Jim
|e Autor/a
|
| 912 |
|
|
|a 31-MAR-2000 - ROJAS SOTO, ANA EUDITH
|
| 916 |
|
|
|a Centro Catalográfico
|