1980

5th Conference on automated deduction : Les Arcs, France, July 8-11, 1980

 

1982

6th Conference on Automated Deduction : New York, USA, June 7-9, 1982

Conference on Automated Deduction (6th : 1982 : New York, N.Y.)



 

1984

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings

International Conference on Automated Deduction (7th : 1984 : Napa, Calif.)



 

1986

8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings

International Conference on Automated Deduction (8th : 1986 : Oxford, England)



 

1988

9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 2326, 1988 : proceedings

International Conference on Automated Deduction (9th : 1988 : Argonne, Ill.)



 

1983

The acquisition of symbolic skills

NATO Conference on the Acquisition of Symbolic Skills (1982 : University of Keele)

New York : Plenum Press, [1983]

Request It 

1995

Advances in linear logic

 

2002

Advances in logic, artificial intelligence, and robotics : LAPTEC 2002

Congress of Logic Applied to Technology (3rd : 2002 : São Paulo, Brazil)



 

2005

Advances in logic based intelligent systems : selected papers of LAPTEC 2005

Congress of Logic Applied to Technology (5th : 2005 : Himegi, Japan)



 

2007

Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas

North Texas Logic Conference (2004 : University of North Texas)



 

2021

Advances in Mathematical Logic : dedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, revised contributions

Symposium on Advances in Mathematical Logic (2018 : Kobe, Japan)

Singapore : Springer, 2021

 

2009

Advances in Technological Applications of Logical and Intelligent Systems : Selected Papers from the Sixth Congress on Logic Applied to Technology

Congress of Logic Applied to Technology (6th : 2007 : Santos, Brazil)



 

2006

The age of alternative logics : assessing philosophy of logic and mathematics today

 

2016

Algebra and computer science

Providence, Rhode Island : American Mathematical Society, [2016]

 

2006

Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings

AISC (Conference) (8th : 2006 : Beijing, China)



 

2014

Artificial intelligence and symbolic computation : 12th international conference, AISC 2014, Seville, Spain, September 11-13, 2014 : proceedings

AISC (Conference) (12th : 2014 : Seville, Spain)

Cham ; New York : Springer, [2014]

 

2018

Artificial intelligence and symbolic computation : 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings

AISC (Conference) (13th : 2018 : Suzhou, China)

Cham, Switzerland : Springer, 2018

 

2010

Aspects of mathematical logic : lectures given at the Centro internazionale matematico estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968

C.I.M.E. Summer School (1968 : Varenna, Italy)



 

1992

Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings

International Conference on Automated Deduction (11th : 1992 : Saratoga Springs, N.Y.)

Berlin ; New York : Springer-Verlag, ©1992

 

2005

Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings

International Conference on Automated Deduction (20th : 2005 : Tallinn, Estonia)



 

2007

Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings

International Conference on Automated Deduction (21st : 2007 : Bremen, Germany)



 

2011

Automated deduction--CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31-August 5, 2011 : proceedings

International Conference on Automated Deduction (23rd : 2011 : Wrocław, Poland)



 

2013

Automated deduction -- CADE-24 : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013 : proceedings

International Conference on Automated Deduction (24th : 2013 : Lake Placid, N.Y.)



 

2015

Automated deduction -- CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings

International Conference on Automated Deduction (25th : 2015 : Berlin, Germany)

Cham : Springer, [2015]

 

2017

Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

International Conference on Automated Deduction (26th : 2017 : Gothenburg, Sweden)

Cham, Switzerland : Springer, 2017

 

2019

Automated deduction -- CADE 27 : 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019 : proceedings

International Conference on Automated Deduction (27th : 2019 : Natal, Brazil)

Cham : Springer, [2019]

 

2021

Automated deduction -- CADE 28 : 28th International Conference on Automated Deduction, virtual event, July 12-15, 2021, Proceedings

International Conference on Automated Deduction (28th : 2021 : Online)

Cham, Switzerland : Springer, [2021]

 

2023

Automated deduction -- CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

International Conference on Automated Deduction (29th : 2023 : Rome, Italy)

Cham, Switzerland : Springer, 2023

 

2006

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

International Workshop on Automated Deduction in Geometry (5th : 2004 : Gainesville, Fla.)



 

2007

Automated deduction in geometry : 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 : revised papers

International Workshop on Automated Deduction in Geometry (6th : 2006 : Pontevedra, Spain)



 

1990

COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings

International Conference on Computer Logic (1988 : Tallinn, Estonia)

Berlin ; New York : Springer-Verlag, ©1990

 

1993

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Kurt Gödel Colloquium (3rd : 1993 : Brno, Czech Republic)

Berlin ; New York : Springer-Verlag, 1993

 

1991

Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings

Workshop on Computer Science Logic (4th : 1990 : Heidelberg, Germany)



 

1992

Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings

Workshop on Computer Science Logic (5th : 1991 : Bern, Switzerland)



 

1993

Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers

Workshop on Computer Science Logic (6th : 1992 : San Miniato, Italy)

Berlin ; New York : Springer-Verlag, ©1993

 

1994

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers

Workshop on Computer Science Logic (7th : 1993 : Swansea, Wales)



 

1995

Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers

Workshop on Computer Science Logic (8th : 1994 : Kazimierz Dolny, Poland)



 

1996

Computer science logic : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

Workshop on Computer Science Logic (9th : 1995 : Paderborn, Germany)



 

1994

Constraints in Computational Logics : Proceedings of the First International Conference, CCL '94, Munich, Germany, September 7-9, 1994

 

1988

CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings

Workshop on Computer Science Logic (1st : 1987 : Karlsruhe, Germany)



 

1990

CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings

Berlin : Springer-Verlag, ©1990

 

1993

Design and implementation of symbolic computation systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992 : proceedings

International Symposium DISCO '92 (1992 : Bath, England)

Berlin ; New York : Springer-Verlag, ©1993

 

 

DMTCS proceedings

 

2006

Formal concept analysis : 4th international conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006 : proceedings

International Conference on Formal Concept Analysis (4th : 2006 : Dresden, Germany)



 

2008

Formal concept analysis : 6th international conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008 ; proceedings

International Conference on Formal Concept Analysis (6th : 2008 : Montréal, Québec)



 

2009

Formal concept analysis : 7th international conference, ICFCA 2009, Darmstadt, Germany, May 21-24, 2009 : proceedings

International Conference on Formal Concept Analysis (7th : 2009 : Darmstadt, Germany)



 

2010

Formal concept analysis : 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings

International Conference on Formal Concept Analysis (8th : 2010 : Agadir, Morocco)



 

2011

Formal concept analysis : 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings

International Conference on Formal Concept Analysis (9th : 2011 : Nicosia, Cyprus)



 

2014

Formal concept analysis : 12th international conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014, proceedings

International Conference on Formal Concept Analysis (12th : 2014 : Cluj-Napoca, Romania)

Cham : Springer, 2014

 

2015

Formal concept analysis : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings

International Conference on Formal Concept Analysis (13th : 2015 : Nerja, Spain)

Cham : Springer, 2015