Preface to First order theorem proving

• Autores: Hantao Zhang, Peter Baumgartner
• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 36, Nº 1, 2003, págs. 1-3
• Idioma: inglés
• Texto completo no disponible (Saber más ...)