111 treff

logic congresses
Logic programming in action : Second International Logic Programming Summer School, LPSS '92 Zürich, Switzerland, September 7-11, 1992 : proceedings
International Logic Programming Summer School
Bok Engelsk 1992
Logic and political culture : [proceedings of the colloquium "Logics and politics", Amsterdam, 19.-22. February 1990]
Logic and politics (konferanse)
Bok Engelsk 1992
Proceedings of the 1st Scandinavian Logic Symposium, Åbo 1968
Scandinavian Logic Symposium
Bok Engelsk 1970
Logic programming '89 : proceedings of the 8th conference, Tokyo, Japan, July 12-14, 1989
Logic Programming Conference
Bok Engelsk 1991
Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988
Logic Programming Conference
Bok Engelsk 1989
Computer science logic : 17th International Workshop CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 2003
Inductive logic programming : 6th international workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers
International Workshop on Inductive Logic Programming
Bok Engelsk 1997
Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings
International Workshop on Inductive Logic Programming
Bok Engelsk 1997
Functional and logic programming : 4th Fuji international symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings
International Symposium on Functional and Logic Programming
Bok Engelsk 1999
Logic of computation
NATO Advanced Study Institute on Logic of Computation
Bok Engelsk 1997
Combinatorics, complexity, and logic : proceedings of DMTCS '96
International Conference on Discrete Mathematics and Theoretical Computer Science
Bok Engelsk 1997
Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases,(DYNAMICS '97), Port Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers
International Seminar on Logic Databases and the Meaning of Change
Bok Engelsk 1998
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
The Tbilisi Symposium on Logic, Language and Computation : selected papers
Tbilisi Symposium on Logic, Language and Computation
Bok Engelsk 1998
Algebraic and logic programming : 4th international conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings
International Conference on Algebraic and Logic Programming
Bok Engelsk 1994
Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings
Russian Conference on Logic Programming
Bok Engelsk 1992
Natural language understanding and logic programming, III : proceedings of the Third International Workshop on Natural Language Understanding and Logic Programming, Stockholm, Sweden, 23-25 January, 1991
International Workshop on Natural Language Understanding and Logic Programming
Bok Engelsk 1991
Toposes, algebraic geometry and logic
Conference on a Connections between Category Theory and Algebraic Geometry and Intuitionistic Logic
Bok Engelsk 1972
Logic, methodology and philosophy of science : proceedings of the 1964 International Congress
International Congress for Logic, Methodology, and Philosophy of Science
Bok Engelsk 1965
Evolvable systems : from biology to hardware : first international conference, ICES96, Tsukuba, Japan, October 7-8, 1996 : proceedings
International Conference on Evolvable Systems
Bok Engelsk 1997
Physics, logic, and history : based on the First International Colloquium held at the University of Denver, May 16-20, 1966
International Colloquium on Logic, Physical Reality, and History
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
Essays on philosophy and logic : proceedings of the XXXth Conference on the History of Logic, dedicated to Roman Suszko, Cracow, October 19-21, 1984
Conference on the History of Logic
Bok Engelsk 1987
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
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
Logic, methodology and philosophy of science VIII : proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987
International Congress of Logic, Methodology and Philosophy of Science
Bok Engelsk 1989
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