59 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 · Vis mer
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 · Vis mer
Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings
International Conference AISMC
Bok Engelsk 1993 · Vis mer
Conference in Mathematical Logic, London '70
Conference in Mathematical Logic
Bok Engelsk 1972 · Vis mer
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 · Vis mer
Combinatorics, complexity, and logic : proceedings of DMTCS '96
International Conference on Discrete Mathematics and Theoretical Computer Science
Bok Engelsk 1997 · Vis mer
Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia
Australian Mathematical Society
Bok Engelsk 1975 · Vis mer
Proceedings of the Conference "Algebra and Logic," Sarajevo 1987
Conference "Algebra and Logic"
Bok Engelsk 1989 · Vis mer
Invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. 259. Models and computabilty
Logic Colloquium (1997 Leeds)
Bok Engelsk 1999 · Vis mer
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 · Vis mer
Logic, methodology and philosophy of science : proceedings of the 1964 International Congress
International Congress for Logic, Methodology, and Philosophy of Science
Bok Engelsk 1965 · Vis mer
Logic, methodology and philosophy of science III : proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967
International Congress for Logic, Methodology and Philosophy of Science
Bok Engelsk 1968 · Vis mer
Artificial intelligence and symbolic computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings
AISC '98
Bok Engelsk 1998 · Vis mer
Logic of computation
NATO Advanced Study Institute on Logic of Computation
Bok Engelsk 1997 · Vis mer
Proof and computation
NATO Advanced Study Institute on Proof and Computation
Bok Engelsk 1995 · Vis mer
Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
International Workshop LCC
Bok Engelsk 1995 · Vis mer
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 · Vis mer
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 · Vis mer
Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers
Workshop on Computer Science Logic
Bok Engelsk 1995 · Vis mer
Cambridge Summer School in Mathematical Logic
Cambridge Summer School in Mathematical Logic
Bok Engelsk 1973 · Vis mer
Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1998 · Vis mer
Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989 : proceedings
International Scientific Symposium
Bok Engelsk 1990 · Vis mer
Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics
Conference on Alternative Semantics
Bok Engelsk 1973 · Vis mer
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
Workshop on Computer Science Logic
Bok Engelsk 1994 · Vis mer
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings
International Conference on Automated Deduction
Bok Språk ikke angitt 1990 · Vis mer
Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y., 1968
Conference on Intuitionism and Proof Theory
Bok Engelsk 1970 · Vis mer
Automated deduction - Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1996 · Vis mer
Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1991 · Vis mer
Computer science logic : 5th workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1992 · Vis mer
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1990 · Vis mer