Goal driven theorem proving using conceptual graphs and Peirce logic
By: by John Edward Heaton.
Published: 1994
Language: eng
Notes: Thesis (Ph.D.) - Loughborough University of Technology, 1994.