Studies in automatic programming logic /

Bibliographic Details

Main Author:	Manna, Zohar
Other Authors:	Waldinger, Richard
Format:	Book
Language:	English
Published:	New York : North-Holland, [1977]
Series:	Computer science library. Artificial intelligence series.
Subjects:	Computer programming. Computer programs.