theorem prover for property theory
By: Mary Cryan.
Contributors: University College Dublin. Department of Computer Science.
Publisher: University College Dublin
Published: 1995
Place of publication: Dublin
Language: eng
Number of pages: 125
Subjects: Artificial intelligence.; Computer algorithms.; Logic.
Notes: Thesis submitted to the Department of Computer Science.

Thesis (M.Sc.) - University College Dublin, 1995.