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