Publication Details

An Overview of FRAPPS: A Framework for Resolution-based Proof Procedure Systems

by Uribe, T. and Frisch, A. and Mitchell, M.K.

in Intl. Conf. on Automated Deduction (CADE'92), vol. 607, pp. 721-725,

Published by Springer-Verlag
Jul 1992.

Note: See also: Michael K. Mitchell, Tom�s E. Uribe and Alan M. Frisch, A Framework for Resolution-based Automated Proof Procedure Systems - Frapps 2.0 User’s Guide, Department of Computer Science, University of Illinois at Urbana-Champaign, September 1991.

Electronic Copies

BibTeX

EndNote

AIC Personnel

	Name	Title	E-mail
	Uribe, Tomas E	Computer Scientist