|
|
|
|
| LEADER |
00747nam a2200241 4500 |
| 001 |
001388 |
| 003 |
arbauncb |
| 008 |
150325s1977 us g 000 0 eng d |
| 005 |
20171017110712.0 |
| 040 |
|
|
|a AR-BaUNCB
|c AR-BaUNCB
|
| 245 |
1 |
0 |
|a Studies in automatic programming logic /
|c Zohar Manna, Samuel L. Katz, Richard Waldinger.
|
| 260 |
|
|
|a New York :
|b North-Holland,
|c 1977.
|
| 440 |
|
0 |
|a The computer science library
|p Artificial intelligence
|
| 300 |
|
|
|a 200 p.
|c 22 cm
|
| 020 |
|
|
|a 0444002243
|
| 100 |
1 |
|
|a Manna, Zohar
|
| 700 |
1 |
|
|a Waldinger, Richard
|
| 700 |
1 |
|
|a Katz, Samuel L
|4 clb
|
| 082 |
0 |
4 |
|a 001.642
|
| 653 |
|
|
|a Programación lógica
|
| 650 |
|
7 |
|a Computación
|2 mpirdes
|
| 650 |
|
7 |
|a Programas de computación
|2 unescot
|
| 999 |
|
|
|c 1325
|d 1325
|