Sign In

Login

Password

Forgot Password ? Sign Up

Ross Overbeek (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Ross Overbeek" in English language version.

refsWebsite
Global rank English rank
3web.archive.org
1st place
1st place
2books.google.com
3rd place
3rd place
1uga.edu
2,385th place
1,626th place
1integratedgenomics.com
low place
low place
1uchicago.edu
230th place
214th place
1anl.gov
6,358th place
4,781st place

anl.gov

books.google.com

  • Leon Sterling (1990). The Practice of Prolog. MIT Press. ISBN 0-262-19301-9.
  • D. W. Loveland (1984). "Automated Theorem Proving: A Quarter-Century Review". Contemporary Mathematics: Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5–9, 1983. Vol. 29. American Mathematical Society. ISBN 0-8218-5027-X. The advocates of the resolution approach have by no means been quiescent during the 1970s. About 1972, the theorem prover of Wos, Robinson and Carson was replaced by one developed by Ross Overbeek. The system has continued to develop with contributions from S. Winker, E. Lusk, B. Smith and L. Wos. The system has been named AURA, for AUtomated Reasoning Assistant.... AURA is now viewed by its originators as a useful research tool for solving open problems subject to precise axiomatic formulations.

integratedgenomics.com

uchicago.edu

theseed.uchicago.edu

uga.edu

bioinformatics.uga.edu

web.archive.org