Studies in automatic programming logic /
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
New York :
North-Holland,
c1977.
|
| Series: | Artificial intelligence series
The Computer science library |
| Subjects: |
| LEADER | 01172nam a2200301 i 4500 | ||
|---|---|---|---|
| 001 | c000126157 | ||
| 003 | CARM | ||
| 005 | 00000000000000.0 | ||
| 008 | 770331s1977 nyu b 00110 eng | ||
| 019 | 1 | |a 859077 |z 23856411 |5 LACONCORD2021 | |
| 020 | |a 0444002243. |a 0444002251 |b pbk. | ||
| 035 | |a (OCoLC)2912367 |5 LACONCORD2021 | ||
| 050 | 0 | 0 | |a QA76.6 |b .M357 |
| 100 | 1 | |a Manna, Zohar. | |
| 245 | 1 | 0 | |a Studies in automatic programming logic / |c Zohar Manna, Richard Waldinger, with contributions by Shmuel Katz and Karl Levitt. |
| 260 | |a New York : |b North-Holland, |c c1977. | ||
| 300 | |a viii, 192 p. ; |c 24 cm. | ||
| 490 | 0 | |a Artificial intelligence series | |
| 490 | 0 | |a The Computer science library | |
| 500 | |a Includes indexes. | ||
| 504 | |a Bibliography: p. 181-185. | ||
| 650 | 0 | |a Automatic programming (Computer science) | |
| 650 | 0 | |a Computer programs. | |
| 700 | 1 | |a Waldinger, Richard, |e joint author. | |
| 852 | 8 | |b CARM |h A2:AK19E0 |i C03569 |p 0191818 |f BK | |
| 082 | 0 | 4 | |a 001.6/42 |
| 999 | f | f | |i 612911e9-b775-5dbf-b4f6-4d89ae3f3c63 |s b4434b33-0ed4-554a-87e4-af07c4c2615f |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e C03569 |f A2:AK19E0 |h Other scheme |i book |m 0191818 |