Automated reasoning 5th international joint conference ; proceedings

Automated reasoning 5th international joint conference ; proceedings

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Giesl, Jürgen (HerausgeberIn)
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin ; Heidelberg ; New York, NY Springer 2010
Schriftenreihe:	Lecture notes in computer science 6173
Schlagworte:	Programmierlogik Logik Beweistheorie Automatisches Beweisverfahren Konferenzschrift > 2010 > Edinburgh
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Automated reasoning 5th international joint conference ; proceedings
Veröffentlicht: (2010)

Automated reasoning second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4 - 8, 2004 ; proceedings
Veröffentlicht: (2004)

Automated reasoning first international joint conference, IJCAR 2001, Siena, Italy, June 18 - 22, 2001 ; proceedings
Veröffentlicht: (2001)

Logic for programming, artificial intelligence, and reasoning 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
Veröffentlicht: (2003)

Logic for programming, artificial intelligence, and reasoning 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14 - 18, 2002 ; proceedings
Veröffentlicht: (2002)

Logic for programming, artificial intelligence, and reasoning 8th international conference, LPAR 2001, Havana, Cuba, December 3 - 7, 2001 ; proceedings
Veröffentlicht: (2001)

Logic for programming, artificial intelligence, and reasoning 18th international conference, LPAR-18, Mérida, Venezuela, March 11 - 15, 2012 ; proceedings
Veröffentlicht: (2012)

Logic for programming, artificial intelligence, and reasoning 18th international conference, LPAR-18, Mérida, Venezuela, March 11 - 15, 2012 ; proceedings
Veröffentlicht: (2012)

Logic for programming, artificial intelligence, and reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2 - 6, 2005 ; proceedings
Veröffentlicht: (2005)

Logic for programming and automated reasoning 6th international conference, LPAR '99, Tbilisi, Georgia, September 6 - 10, 1999 ; proceedings
Veröffentlicht: (1999)

Automated reasoning 33 basic research problems
von: Wos, Larry
Veröffentlicht: (1988)

Proceedings Napa, California, USA, May 14 - 16, 1984
Veröffentlicht: (1984)

Automated reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, proceedings
Veröffentlicht: (2022)

Logic for programming, artificial intelligence, and reasoning 15th international conference, LPAR 2008, Doha, Qatar, November 22 - 27, 2008 ; proceedings
Veröffentlicht: (2008)

Handbook of automated reasoning
Veröffentlicht: (2006)

Handbook of automated reasoning
Veröffentlicht: (2001)

A proof theory for general unification
von: Snyder, Wayne
Veröffentlicht: (1991)

Frontiers of combining systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 ; proceedings
Veröffentlicht: (2009)

Automated reasoning with analytic tableaux and related methods 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4 - 8, 2011 ; proceedings
Veröffentlicht: (2011)

Automated reasoning with analytic tableaux and related methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6 - 10, 2009 ; proceedings
Veröffentlicht: (2009)

Automated reasoning with analytic tableaux and related methods 22th international conference, TABLEAUX 2013, Nancy, France, September 16 - 19, 2013 ; proceedings
Veröffentlicht: (2013)

Automated reasoning with analytic tableaux and related methods 22th international conference, TABLEAUX 2013, Nancy, France, September 16 - 19, 2013 ; proceedings
Veröffentlicht: (2013)

Automated reasoning with analytic tableaux and related methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 ; proceedings
Veröffentlicht: (2005)

Automated reasoning with analytic tableaux and related methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 ; proceedings
Veröffentlicht: (2007)

Automated deduction CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2 - 7, 2009 ; proceedings
Veröffentlicht: (2009)

Proof theory in computer science international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7 - 12, 2001 ; proceedings
Veröffentlicht: (2001)

Handbook of automated reasoning

Automated deduction - CADE 26 26th international conference on automated deduction, Gothenburg, Sweden, August 6 - 11, 2017 : proceedings
Veröffentlicht: (2017)

Automated deduction - CADE-17 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17 - 20, 2000 ; proceedings
Veröffentlicht: (2000)

Automated Deduction - CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011 ; proceedings
Veröffentlicht: (2011)

Automated deduction - CADE-24 24th International Conference on Automated Deduction Lake Placid, NY, USA, June 9-14, 2013 ; proceedings
Veröffentlicht: (2013)

Automated deduction - Cade-13 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996 ; proceedings
Veröffentlicht: (1996)

Automated deduction - CADE-19 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 - August 2, 2003 ; proceedings
Veröffentlicht: (2003)

Automated deduction - CADE-21 21st International Conference on Automated Deduction, Bremen, Germany, July 17 - 20, 2007 ; proceedings
Veröffentlicht: (2007)

Logik und Logikprogrammierung
von: Hölldobler, Steffen 1957-2023
Veröffentlicht: (2003)

Automated theorem proving
von: Bibel, Wolfgang 1938-
Veröffentlicht: (1987)

Automated reasoning and mathematics essays in memory of William W. McCune
Veröffentlicht: (2013)

Automation of reasoning classical papers on computational logic

Simplification and reduction for automated theorem proving
von: Socher, Rolf
Veröffentlicht: (1990)

Automated reasoning introd. and applications
Veröffentlicht: (1984)