Search Results
 
  Search result  Your search for [subject]Logic, Symbolic and mathematical -- Congresses returned 14 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: 24.82%
 
     
  Book Combinatorics, complexity, & logic : proceedings of DMTCS '96.

Berlin: Springer, 1997.

Subject: Combinatorial analysis -- Congresses; Computational complexity -- Congresses; Logic, symbolic and mathematical -- Congresses.

 
     
Relevance: 24.81%
 
     
  Book Algebra, combinatoric and logic in computer science.

by Demetrovics, J.; Amsterdam: North-Holland, 1986.

Subject: Algebra -- Congresses; Computer arithmetic -- Congresses; LOgic, Symbolic and mathematical -- Congresses.

 
     
Relevance: 24.73%
 
     
  Book Logic, methodology and philosophy of science : proceedings.

Stanford, Calif.: Stanford University Press, 1960.

Subject: Logic, Symbolic and mathematical -- Congresses; Science -- Philosophy -- Congresses; Methodology -- Congresses.

 
     
Relevance: 24.73%
 
     
  Book The theory of models : proceedings _ International Symposium on the Theory of Models (1963 : Berkeley, Calif.).

Amsterdam: North-Holland Pub., 1965.

Subject: Logic, Symbolic and mathematical -- Congresses; Mathematical models -- Congresses.

 
     
Relevance: 24.73%
 
     
  Book Foundations of logic and linguistics : problems and their solutions _ International Congress of Logic, Methodology, and Philosophy of Science (7th : 1983 : Salzburg, Austria).

New York: Plenum Press, 1985.

Subject: Logic -- Congresses; Language and languages -- Philosophy -- Congresses; Language and logic -- Congresses; Logic, Symbolic and mathematical -- Congresses.

 
     
Relevance: 24.72%
 
     
  Book Intuitionism and proof theory.

Amsterdam: North-Holland Pub. Co., 1970.

Subject: Logic, Symbolic and mathematical -- Congresses.

 
     
Relevance: 24.68%
 
     
  Book Eight annual IEEE symposium on logic in computer science : proceedings, June 19-23, 1993, Montreal, Canada _ IEEE Computer Society Technical Committee on Mathematical Foundations of Computing _ IEEE Symposium on Logic in Computer Science (8th : 1993 : Montreal, Canada).

Los Alamitos: IEEE Computer Society Press.

Subject: Logic, symbolic and mathematical--Congresses.

 
     
Relevance: 24.68%
 
     
  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: 24.45%
 
     
  Book Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992.

Berlin: Springer-Verlag, 1993.

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

 
     
Relevance: 24.43%
 
     
« Previous  1  2  Next »
         
         
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