Computational logic
Subtitle: structure sharing and proof of program properties
By: J Strother Moore
Contributors: University of Edinburgh
Published: 1973
Language: eng
Notes: Thesis (doctoral)--University of Edinburgh, 1973.