- Personal Homepage
- Publication period start
- Publication period end
- Number of co-authors
Number of publications with favourite co-authors
Most productive colleagues in number of 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.