59 treff

logic symbolic and mathematical congresses
Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
International Workshop on Automated Deduction in Geometry
Bok Engelsk 1997 · Vis mer
Automated deduction - CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1994 · Vis mer
Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

Bok Engelsk 1995 · Vis mer
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 · Vis mer
Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /
International Conference on Automated Deduction
Bok Engelsk · Vis mer
Applied logic : how, what and why : logical approaches to natural language
edited by László Pólos and Michael Masuch...
Bok Engelsk 1995 · Vis mer
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 · Vis mer
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 · Vis mer
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 · Vis mer
Logics in artificial intelligence : European workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998 : proceedings
European Workshop JELIA
Bok Engelsk 1998 · Vis mer
Computational logic : symposium proceedings, Brussels, November 13/14, 1990
J. W. Lloyd (ed.)
Bok Engelsk 1990 · Vis mer
Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings
TABLEAUX '95
Bok Engelsk 1995 · Vis mer
Grammatical inference and applications : second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings
ICGI-94
Bok Engelsk 1994 · Vis mer
Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings
TPHOLs '98
Bok Engelsk 1998 · Vis mer
Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings
CCL '94
Bok Engelsk 1994 · Vis mer
ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
International Summer Institute and Logic Colloquium
Bok Engelsk 1975 · Vis mer
Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings
LFCS '94
Bok Engelsk 1994 · Vis mer
Logic from computer science : proceedings of a workshop held November 13-17, 1989
Y. N. Moschovakis, editor
Bok Engelsk 1992 · Vis mer
Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
K. H. Bläsius, U. Hedtstück, C.-R. Rollin...
Bok Engelsk 1990 · Vis mer
Proceedings of the Logic Conference, Singapore, 1981
Southeast Asian Conference on Logic
Bok Språk ikke angitt 1983 · Vis mer
Finite and infinite combinatorics in sets and logic
NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic
Bok Engelsk 1993 · Vis mer
Logical foundations of computer science - Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings
A. Nerode, M. Taitslin (eds.)
Bok Engelsk 1992 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990 : proceedings
European Workshop JELIA
Bok Engelsk 1991 · Vis mer
Kompliziertheit von Lern- und Erkennungsprozessen : internationales Symposium, 8. bis 13. Oktober 1973 in Jena an der Sektion Mathematik der Friedrich-Schiller-Universität
hrsg. von der Sektion Mathematik der Frie...
Bok Tysk 1975 · Vis mer
Ontologie und Logik : Vorträge u. Diskussionen e. internat. Kolloquiums, (Salzburg, 21.-24. September 1976) = Ontology and logic : proceedings of an international colloquium
Acad. internat. de philosophie des scienc...
Bok Tysk 1979 · Vis mer
Grammatical inference : 4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings
ICGI-98
Bok Engelsk 1998 · Vis mer
Frontiers of combining systems : first international workshop, Munich, March 1996
edited by Franz Baader and Klaus U. Schul...
Bok Engelsk 1996 · Vis mer
Theoretical aspects of reasoning about knowledge : proceedings of the third conference (TARK 1990), March 4-7, 1990, Pacific Grove, California
edited by Rohit Parikh ; sponsored by IBM...
Bok Engelsk 1990 · Vis mer