44 treff

logic symbolic and mathematical congresses
Toposes, algebraic geometry and logic
Conference on a Connections between Category Theory and Algebraic Geometry and Intuitionistic Logic
Bok Engelsk 1972
Colloquium on the foundations of mathematics, mathematical machines, and their applications : Tihany, 11-15 September 1962
Colloquium on the Foundations of Mathematics, MathematicalMachines, and their Applications
Bok Flerspråklig 1965
Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings
International Conference AISMC
Bok Engelsk 1993
Conference in Mathematical Logic, London '70
Conference in Mathematical Logic
Bok Engelsk 1972
Combinatorics, complexity, and logic : proceedings of DMTCS '96
International Conference on Discrete Mathematics and Theoretical Computer Science
Bok Engelsk 1997
Natural language understanding and logic programming : proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984
International Workshop on Natural Language Understanding and Logic Programming
Bok Engelsk 1985
Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia
Australian Mathematical Society
Bok Engelsk 1975
Logic, methodology and philosophy of science : proceedings of the 1964 International Congress
International Congress for Logic, Methodology, and Philosophy of Science
Bok Engelsk 1965
Mathematical interpretation of formal systems
Wiskundig Genootschap (Netherlands)
Bok Engelsk 1971
Mathematical logic and foundations of set theory : proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968
edited by Yehoshua Bar-Hillel
Bok Engelsk 1970
Artificial intelligence and symbolic computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings
AISC '98
Bok Engelsk 1998
Logic of computation
NATO Advanced Study Institute on Logic of Computation
Bok Engelsk 1997
Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991
International Congress of Logic, Methodology and Philosophy of Science
Bok Engelsk 1994
Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge : March 7-9, 1988, Pacific Grove, California
Conference on Theoretical Aspects of Reasoning about Knowledge
Bok Språk ikke angitt 1988
Proof and computation
NATO Advanced Study Institute on Proof and Computation
Bok Engelsk 1995
Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989 : proceedings
International Scientific Symposium
Bok Engelsk 1990
Cambridge Summer School in Mathematical Logic
Cambridge Summer School in Mathematical Logic
Bok Engelsk 1973
Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics
Conference on Alternative Semantics
Bok Engelsk 1973
Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y., 1968
Conference on Intuitionism and Proof Theory
Bok Engelsk 1970
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
Workshop on Computer Science Logic
Bok Engelsk 1994
Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1991
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings
International Conference on Automated Deduction
Bok Språk ikke angitt 1990
Computer science logic : 5th workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1992
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1990
Automated deduction - CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1992
Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings
Kurt Gödel Colloquium
Bok Engelsk 1993
Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 13-15, 1988 : proceedings
International Workshop on Non-Monotonic Reasoning
Bok Språk ikke angitt 1989
Applied logic : how, what and why : logical approaches to natural language
edited by László Pólos and Michael Masuch...
Bok Engelsk 1995
Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications - HOL '92
IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications
Bok Engelsk 1993
Logics in artificial intelligence : European workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998 : proceedings
European Workshop JELIA
Bok Engelsk 1998