| |
Your search for [subject]Logic, Symbolic and mathematical -- Congresses returned 14 records. |
|
| |
Sort by:
|
|
| |
|
|
| |
|
 |
Logical environments.
New York: Canridge University Press, 1993.
Subject: Automatic theorem proving -- Congresses; Artificial intelligence -- Congresses; Logic, Symbolic and mathematical -- Congresses.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
Combinatorics, complexity, & logic : proceedings of DMTCS '96.
Berlin: Springer, 1997.
Subject: Combinatorial analysis -- Congresses; Computational complexity -- Congresses; Logic, symbolic and mathematical -- Congresses.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
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.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
Logic, methodology and philosophy of science : proceedings.
Stanford, Calif.: Stanford University Press, 1960.
Subject: Logic, Symbolic and mathematical -- Congresses; Science -- Philosophy -- Congresses; Methodology -- Congresses.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
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.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
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.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
Intuitionism and proof theory.
Amsterdam: North-Holland Pub. Co., 1970.
Subject: Logic, Symbolic and mathematical -- Congresses.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
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.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
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.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
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.
|
|
| |
|
|
|
|
| |
|
|
| « Previous 1 2 Next » |
