AURA
Reference manual for the environmental theorem prover: An incarnation of AURA (AUtomated Reasoning Assistant)
Keywords for this software
References in zbMATH (referenced in 9 articles )
Showing results 1 to 9 of 9.
Sorted by year (- Veroff, Robert: Using hints to increase the effectiveness of an automated reasoning program: Case studies (1996)
- Wos, Larry: Basic research problems: The problem of strategy and hyperresolution (1994)
- Lusk, Ewing L.; McCune, William W.: Uniform strategies: The CADE-11 theorem proving contest (1993)
- Veroff, Robert; Wos, Larry: The linked inference principle. I: The formal treatment (1992)
- Wos, Larry; McCune, William: The application of automated reasoning to questions in mathematics and logic (1992)
- Wos, Larry: Meeting the challenge of fifty years of logic (1990)
- Wick, Cynthia A.; McCune, William W.: Automated reasoning about elementary point-set topology (1989)
- Wos, L.; Pereira, Fernando; Hong, Robert; Boyer, Robert S.; Moore, J. Strother; Bledsoe, W. W.; Henschen, L. J.; Buchanan, Bruce G.; Wrightson, Graham; Green, Cordell: An overview of automated reasoning and related fields (1985)
- Wos, L.; Winker, S.; Smith, B.: A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains (1984)