Knowledge-based program construction
By: David R. Barstow.
Series: Programming languages series ;; 6
Publisher: North Holland
Published: 1979
Place of publication: New York
Language: eng
Number of pages: 262
Subjects: Computer programming.
Notes: Bibliography: p. 249-255.
"The Computer science library."
Includes indexes.