Author: Ray Nickson
Publications
Publication period start: 1995
Publications
Nickson, Ray (1995): A New Face for Ergo: Adding a User Interface to a Programmable Theorem Prover. In: Proceedings of OZCHI95, the CHISIG Annual Conference on Human-Computer Interaction , 1995, . pp. 204-209.