ERGO 6: A generic proof engine that uses prolog proof technology

---

Autoria(s): Utting, M.; Robinson, P. J.; Nickson, R.

Contribuinte(s)	J. Davenport
Data(s)	01/01/2002
Identificador	http://espace.library.uq.edu.au/view/UQ:62245
Idioma(s)	eng
Publicador	Cambridge University Press
Palavras-Chave	#C1 #280406 Mathematical Software #700101 Application packages
Tipo	Journal Article