Geometric theorem proving by integrated logical and algebraic reasoning

Artificial Intelligence 75 (1):93-113 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On automating diagrammatic proofs of arithmetic arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.
Amalgamation Theorems in Algebraic Logic, an overview.Tarek Sayed-Ahmed - 2005 - Logic Journal of the IGPL 13 (3):277-286.
Theorem proving in infinitesimal geometry.J. Fleuriot - 2001 - Logic Journal of the IGPL 9 (3):447-474.
Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.
The A Priori Meaningfulness Measure and Resolution Theorem Proving.Joseph S. Fulda & Kevin De Fontes - 1989 - Journal of Experimental and Theoretical Artificial Intelligence 1 (3):227-230.
Geometric significance of the spinor Lie derivative. II.V. Jhangiani - 1978 - Foundations of Physics 8 (7-8):593-601.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,321,511)

6 months
4 (#796,773)

Historical graph of downloads
How can I increase my downloads?