Using theory interpretation to mechanise the reals in a theorem prover

---

Autoria(s): Shield, J.; Hayes, I. J.; Carrington, D. A.

Contribuinte(s)	C.J Fidge
Data(s)	01/01/2001
Identificador	http://espace.library.uq.edu.au/view/UQ:95598
Idioma(s)	eng
Publicador	Elsevier
Palavras-Chave	#E1 #280499 Computation Theory and Mathematics not elsewhere classified #700199 Computer software and services not elsewhere classified
Tipo	Conference Paper