Aspects of mathematical logic lectures given at a summer school of the Centro Internazionale Matematico Estivo (C. I. M. E.), held in Varenna (Como), Italy, September 9 - 17, 1968

DE-634
DE-91
DE-384
DE-19
DE-703
DE-20
DE-29
DE-739
Volltext

Automated deduction in geometry 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16 - 18, 2004 ; revised papers

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today

Inhaltstext
Inhaltsverzeichnis

La quantification dans la logique moderne

Inhaltsverzeichnis

Concept lattices second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23 - 26, 2004 ; proceedings

Logic versus approximation essays dedicated to Michael M. Richter on the occasion of his 65th birthday

Automated deduction - CADE-19 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 - August 2, 2003 ; proceedings

Frontiers of combining systems 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8 - 10, 2002 ; proceedings

Grammatical inference: algorithms and applications 6th international colloquium, ICGI 2002, Amsterdam, The Netherlands, September 23 - 25, 2002 ; proceedings

Computer science logic 13th international workshop, CSL '99, 8th annual conference of the EACSL, Madrid, Spain, September 20 - 25, 1999 ; proceedings

Artificial intelligence and symbolic computation International Conference AISC '98, Plattsburgh, New York, USA, September 16 - 18, 1998 ; proceedings

Grammatical inference: learning syntax from sentences third international colloquium, ICGI-96, Montpellier, France, September 25 - 27, 1996 ; proceedings

Inhaltsverzeichnis

Higher order algebra, logic, and term rewriting second international workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995 ; selected papers

Inhaltsverzeichnis

Logics in artificial intelligence 9th European conference, JELIA 2004, Lisbon, Portugal, September 27 - 30, 2004 ; proceedings

Proceedings of the 19th annual IEEE Symposium on Logic in Computer science LICS 2004 ; Turku, Finland, 13 - 17 July 2004

DE-739
Volltext

Proceedings of the 19th annual IEEE Symposium on Logic in Computer science LICS 2004 ; Turku, Finland, 13 - 17 July 2004

Inhaltsverzeichnis

Theorem proving with analytic tableaux and related methods 4th international workshop, TABLEAUX '95 Schloß Rheinfels, St. Goar, Germany May 7 - 10, 1995 ; proceedings

Inhaltsverzeichnis

Tenth annual IEEE Symposium on Logic in Computer Science June 26 - 29, 1995, San Diego, California ; proceedings

Discrete mathematics and theoretical computer science 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003 ; proceedings

Inhaltsverzeichnis

Automated deduction - CADE-12 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 ; proceedings

Inhaltsverzeichnis