Reference manual for the environmental theorem prover
Subtitle: an incarnation of AURA
By: by Brian T. Smith
Contributors: Argonne National Laboratory
Publisher: Mathematics and Computer Science Division, Argonne National Laboratory; available from NTIS
Published: 1988
Place of publication: Argonne, Ill; Springfield, VA
Language: eng
Number of pages: 81
Subjects: Automatic theorem proving; Artificial intelligence
Other titles: An incarnation of Automated Reasoning Assistant.; An incarnation of AURA.; Reference manual for the environmental theorem prover ; an incarnation of Automated Reasoning Assistant.