Author: Ray Nickson
Publication Overview
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.