Search Results
 
  Search result  Your search for [subject]Automatic theorem proving -- Congresses returned 5 records.  
 
Sort by:  
 
     
  Book Logical environments.

New York: Canridge University Press, 1993.

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

  
     
Relevance: 31.11%
 
     
  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: 31.09%
 
     
  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: 31.01%
 
     
  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: 29.40%
 
     
  Book Proof technology and computation.

Washington, DC: IOS Press, 2006.

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

  
     
Relevance: 28.80%
 
     
 
         
         
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