Automated Deduction - CADE-15 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings

Automated Deduction - CADE-15 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings / edited by Claude Kirchner, Helene Kirchner.

Gorde:

Xehetasun bibliografikoak
Erakunde egilea:	SpringerLink (Online service)
Beste egile batzuk:	Kirchner, Claude (Argitaratzailea), Kirchner, Helene (Argitaratzailea)
Formatua:	eBook
Hizkuntza:	English
Argitaratua:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
Edizioa:	1st ed. 1998.
Saila:	Lecture Notes in Artificial Intelligence ; 1421 Springer eBook Collection.
Gaiak:	Artificial intelligence. Mathematical logic. Computer logic. Electronic resources (E-books)
Sarrera elektronikoa:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Antzeko izenburuak

Automated Deduction - CADE-16 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
Argitaratua: (1999)

Automated Deduction - CADE-21 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
Argitaratua: (2007)

Automated Deduction - CADE-17 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
Argitaratua: (2000)

Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
Argitaratua: (2005)

Automated Deduction -- CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings
Argitaratua: (2011)

Automated Deduction - CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings
Argitaratua: (2002)

Automated Deduction – CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
Argitaratua: (2017)

Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Argitaratua: (2019)

Automated Deduction - CADE-19 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
Argitaratua: (2003)

Automated Deduction -- CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings
Argitaratua: (2013)

Automated Deduction - CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings
Argitaratua: (1997)

Automated Deduction – CADE-22 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
Argitaratua: (2009)

Automated Deduction - CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
Argitaratua: (1992)

Automated Deduction — CADE-12 12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings
Argitaratua: (1994)

Automated Deduction - Cade-13 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings
Argitaratua: (1996)

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

Automated Deduction in Classical and Non-Classical Logics Selected Papers
Argitaratua: (2000)

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

Automated Deduction in Geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers
Argitaratua: (1997)

10th International Conference on Automated Deduction Kaiserslautern, FRG, July 24-27, 1990. Proceedings
Argitaratua: (1990)

Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers
Argitaratua: (2011)

Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers
Argitaratua: (2011)

Automated Deduction in Equational Logic and Cubic Curves
nork: McCune, William, et al.
Argitaratua: (1996)

Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
Argitaratua: (2015)

Automated Deduction in Geometry Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
Argitaratua: (1999)

8th International Conference on Automated Deduction Oxford, England, July 27- August 1, 1986. Proceedings
Argitaratua: (1986)

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Argitaratua: (2013)

Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers
Argitaratua: (2007)

Automated Deduction in Geometry 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers
Argitaratua: (2004)

Automated Deduction - CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
Argitaratua: (2015)

Natural Deduction, Hybrid Systems and Modal Logics
nork: Indrzejczak, Andrzej
Argitaratua: (2010)

Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
Argitaratua: (2006)

Automated Deduction in Geometry Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
Argitaratua: (2001)

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
Argitaratua: (2010)

Labelled Deduction
Argitaratua: (2000)

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
Argitaratua: (2008)

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Argitaratua: (1998)

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Argitaratua: (1998)

7th International Conference on Automated Deduction Proceedings
Argitaratua: (1984)

Instantiation Theory On the Foundations of Automated Deduction
nork: Williams, James G.
Argitaratua: (1991)