Search Results
 
  Search result  Your search for [subject]Automatic theorem proving returned 9 records.  
 
Sort by:  
 
     
  Book Gems of theoretical computer science.

by Schoning, Uwe, 1955-; Berlin: Springer, 1998.

Subject: Automatic theorem proving.

  
     
Relevance: 28.69%
 
     
  Book Logic for computer science : foundations of automatic theorem proving.

by Gallier, Jean H.; New York: Harper & Row, 1986.

Subject: Automatic theorem proving; Logic, Symbolic and mathematical.

  
     
Relevance: 27.47%
 
     
  Book Efficient checking of polynomials and proofs and the hardness of approximation problems.

by Sudan, Madhu; Berlin: Springer-Verlag, 1995.

Subject: Automatic theorem proving; Computational complexity; NP-complete problems.

  
     
Relevance: 27.18%
 
     
  Book Symbolic logic and mechanical theorem proving.

by Chang, Chin-Liang, 1937-; New York: Academic Press, 1973.

Subject: Artificial intelligence; Automatic theorem proving; Logic, Symbolic and mathematical.

  
     
Relevance: 26.90%
 
     
  Book Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings.

Berlin: Springer-Verlag, 1995.

Subject: Automatic theorem proving -- Congresses; Logic, Symbolic and mathematical -- Congresses.

  
     
Relevance: 25.01%
 
     
  Book Logical environments.

New York: Canridge University Press, 1993.

Subject: Automatic theorem proving -- Congresses; Artificial intelligence -- Congresses; Logic, Symbolic and mathematical -- Congresses.

  
     
Relevance: 23.99%
 
     
  Book Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings.

Berlin: Springer, 1996.

Subject: Automatic theorem proving -- Congresses; Mathematics -- Data processing -- Congresses; System design -- Congresses.

  
     
Relevance: 23.97%
 
     
  Book Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings _ International Conference on Theorem Provers in Circuit Design (2nd : 1994 : Bad Herrenalb, Germany).

Berlin: Springer-Verlag, 1995.

Subject: Digital integrated circuits -- Design and construction -- Data processing -- Congresses; Automatic theorem proving -- Congresses; Computer-aided design -- Congresses.

  
     
Relevance: 22.67%
 
     
  Book Proof technology and computation.

Washington, DC: IOS Press, 2006.

Subject: Automatic theorem proving -- Congresses; Computer programming -- Congresses; Computer software -- Development -- Congresses.

  
     
Relevance: 22.21%
 
     
 
         
         
Online Catalog
Basic Search
Advanced Search
Browse Subjects
Book Cart
 
         

Text Size:
S  -  M  -  L
Copyright © 2004-2024. Philippine eLib Project
Host: U.P. Diliman University Library