机读格式显示(MARC)

• 000 00922cam a2200289 i 4500

• 001 0000152701

• 003 CAL

• 005 20200807151200.0

• 008 060901s1977 nyu b 001 0 eng

• 010 __ |a 77005765 //r84

• 020 __ |a 0444002243

• 040 __ |a DLC |c DLC |d FDU

• 090 __ |a TP31/M282

• 090 __ |a 73.85

• 093 __ |a TP31

• 094 __ |a 73.85 |2 3

• 099 __ |a CAL 022000334637

• 100 1_ |a Manna, Zohar.

• 245 10 |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

• 504 __ |a includes bibliographical references (p. 181-185) and index.

• 650 _0 |a Automatic programming (Computer science)

• 650 _0 |a Computer programs.

• 700 1_ |a Waldinger, Richard.