Studies in automatic programming logic
By: Zohar Manna, Richard Waldinger, with contributions by Shmuel Katz and Karl Levitt.
Contributors: Waldinger, Richard, joint author.
Series: Artificial intelligence series; The Computer science library
Publisher: North-Holland
Published: 1977
Place of publication: New York
Language: eng
Number of pages: 192
Subjects: Automatic programming (Computer science); Computer programs.
Notes: Bibliography: p. 181-185.
Includes indexes.