Switch to: Citations

Add references

You must login to add references.
  1. Science and method.Henri Poincaré - 1914 - Mineola, N.Y.: Dover Publications. Edited by Francis Maitland.
    " Vivid . . . immense clarity . . . the product of a brilliant and extremely forceful intellect." — Journal of the Royal Naval Scientific Service "Still a sheer joy to read." — Mathematical Gazette "Should be read by any student, teacher or researcher in mathematics." — Mathematics Teacher The originator of algebraic topology and of the theory of analytic functions of several complex variables, Henri Poincare (1854–1912) excelled at explaining the complexities of scientific and mathematical ideas to lay (...)
    Download  
     
    Export citation  
     
    Bookmark   68 citations  
  • Science and method.Henri Poincaré - 1914 - New York]: Dover Publications. Edited by Francis Maitland.
    " Vivid . . . immense clarity . . . the product of a brilliant and extremely forceful intellect." — Journal of the Royal Naval Scientific Service "Still a sheer joy to read." — Mathematical Gazette "Should be read by any student, teacher or researcher in mathematics." — Mathematics Teacher The originator of algebraic topology and of the theory of analytic functions of several complex variables, Henri Poincare (1854–1912) excelled at explaining the complexities of scientific and mathematical ideas to lay (...)
    Download  
     
    Export citation  
     
    Bookmark   93 citations  
  • Efficiency and Completeness of the Set of Support Strategy in Theorem Proving.Lawrence Wos, George A. Robinson & Daniel F. Carson - 1967 - Journal of Symbolic Logic 32 (1):117-118.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Machine-Oriented Logic based on the Resolution Principle.J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (3):515-516.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • An examination of the geometry theorem machine.P. C. Gilmore - 1970 - Artificial Intelligence 1 (3-4):171-187.
    Download  
     
    Export citation  
     
    Bookmark   4 citations