Author: Ray Nickson

Ray Nickson

Ray Nickson

Publications

Publication period start: 1995
Publication period end: 1995
Number of co-authors: 0

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.