Debate
Subtitle: a deduction based transformational environment
By: Rosemary Monahan.
Contributors: University College Dublin. Department of Computer Science.
Publisher: University College Dublin
Published: 1998
Place of publication: Dublin
Language: eng
Number of pages: 98
Subjects: Programming (Electronic computers); Automatic theorem proving.
Notes: Thesis submitted to the Department of Computer Science.

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