Research Catalog

Studies in automatic programming logic

Title
Studies in automatic programming logic / Zohar Manna, Richard Waldinger, with contributions by Shmuel Katz and Karl Levitt.
Author
Manna, Zohar
Publication
New York : North-Holland, c1977.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Book/textRequest in advance JSE 79-163Offsite

Details

Additional Authors
Waldinger, Richard
Description
viii, 192 p.; 24 cm.
Series Statement
Artificial intelligence series.
Subject
  • Computer programming
  • Computer programs
Note
  • The Computer science library
  • Includes indexes.
Bibliography (note)
  • Bibliography: p. 181-185.
Call Number
JSE 79-163
ISBN
0444002243. a0444002251 bpbk. (canceled/invalid)
LCCN
77005765
OCLC
  • 2912367
  • NYPG794040522-B
Author
Manna, Zohar.
Title
Studies in automatic programming logic / Zohar Manna, Richard Waldinger, with contributions by Shmuel Katz and Karl Levitt.
Imprint
New York : North-Holland, c1977.
Series
Artificial intelligence series.
Bibliography
Bibliography: p. 181-185.
Added Author
Waldinger, Richard.
Research Call Number
JSE 79-163
View in Legacy Catalog