Automated Theorem Proving

@inproceedings{Bibel1982AutomatedTP,
  title={Automated Theorem Proving},
  author={Wolfgang Bibel},
  booktitle={Artificial Intelligence / K{\"u}nstliche Intelligenz},
  year={1982}
}
Highly Influential
This paper has highly influenced 36 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 206 extracted citations

A simple distributed reasoning system for the connection calculus

Vietnam Journal of Computer Science • 2014
View 6 Excerpts
Highly Influenced

A Non-clausal Connection Calculus

TABLEAUX • 2011
View 8 Excerpts
Highly Influenced

Connection-Driven Inductive Theorem Proving

Studia Logica • 2001
View 5 Excerpts
Highly Influenced

Connection Calculus Theorem Proving with Multiple Built-in Theories

J. Symb. Comput. • 2000
View 4 Excerpts
Highly Influenced

References

Publications referenced by this paper.
Showing 1-10 of 143 references

Automated Reasoning; Prentice-Hall, Englewood Cliffs NJ

L. WOL Wos, R. Oberbeek, E. Lusk, J. Boyle
1984

Extension of PROLOG through matrix reduction; ECAI-84 (T

R. CEF Caferra, E. Eder, B. Fronhofer, W. Bibel
1984

Machine learning; Tioga

R. S. MCM Michalski, Carbonell, .G, T. M. Mitchell
Palo Alto CA • 1983

Proofs III higher-order logic; PhD Dissertation, CarnegieMellon U

D. A. Mil Miller
1983

Similar Papers

Loading similar papers…