A new use of an automated reasoning assistant: open questions in equivalential calculus and the study of infinite domains

Authors:
L Wos;S Winker;B Smith;R Veroff;L Henschen
Affiliations:
Argonne National Laboratory, Argonne, IL;Argonne National Laboratory, Argonne, IL;Argonne National Laboratory, Argonne, IL;Univ. of New Mexico, Albuquerque;Northwestern Univ., Evanston, IL
Venue:
Artificial Intelligence
Year:
1984

Shortest Single Axioms for the Equivalential Calculus with CD and RCD

Journal of Automated Reasoning
Otter - The CADE-13 Competition Incarnations

Journal of Automated Reasoning
The Hot List Strategy

Journal of Automated Reasoning
Position paper to be presented at "Verification workshop III (verkshop III)" to be held in Watsonville, CA. Feb. 18--21, 1985

ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
Automated reasoning: real uses and potential uses

IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2

Hi-index	0.00