Demonstration software in propositional logic.
Contributors: Brownsey, Ken.; Oxford Brookes University. School of Technology. Department of Computing.
Publisher: Oxford Brookes University
Published: 2001
Place of publication: Oxford
Language: eng
Notes: Thesis (M.Sc.) - Oxford Brookes University, Oxford, 2001.