A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains - researchr publication

researchr

You are not signed in
Sign in
Sign up

Larry Wos, S. Winker, B. Smith, Robert Veroff, Lawrence J. Henschen. A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains. Artificial Intelligence, 22(3):303-356, 1984.

Abstract is missing.

runs on WebDSL