Concepedia

Computer supported mathematics with Ωmega

Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier

Journal of Applied Logic · 2005 · 43 citations · 33 references

DOI

Concepts

References

33

Lecture Notes in Artificial Intelligence

Patrick Brézillon, Paolo Bouquet · 1999 · 7.4K citations

, , +9

A Machine-Oriented Logic Based on the Resolution Principle

John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text

, , +4

A formulation of the simple theory of types

Alonzo Church · Journal of Symbolic Logic · 1940 · 1.9K citations

, , +9

The Coq proof assistant : reference manual, version 6.1

Bruno Barras, Samuel Boutin, Cristina Cornes et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1997 · 989 citations · Full text

, , +15

An Introduction to Least Commitment Planning

Daniel S. Weld · 1994 · 587 citations

, , +12