AURA

Reference manual for the environmental theorem prover: An incarnation of AURA (AUtomated Reasoning Assistant)

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 9 articles )

Showing results 1 to 9 of 9.
Sorted by year (citations)

  1. Veroff, Robert: Using hints to increase the effectiveness of an automated reasoning program: Case studies (1996)
  2. Wos, Larry: Basic research problems: The problem of strategy and hyperresolution (1994)
  3. Lusk, Ewing L.; McCune, William W.: Uniform strategies: The CADE-11 theorem proving contest (1993)
  4. Veroff, Robert; Wos, Larry: The linked inference principle. I: The formal treatment (1992)
  5. Wos, Larry; McCune, William: The application of automated reasoning to questions in mathematics and logic (1992)
  6. Wos, Larry: Meeting the challenge of fifty years of logic (1990)
  7. Wick, Cynthia A.; McCune, William W.: Automated reasoning about elementary point-set topology (1989)
  8. 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)
  9. 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)