Konferenzschrift | Kongress
Automated reasoning with analytic tableaux and related methods : 20th international conference, tableaux 2011, Bern, Switzerland, July 4 - 8, 2011 ;proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642221187
3642221181
- Dimensions
-
24 cm
- Extent
-
XII, 277 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 6793 : Lecture notes in artificial intelligence
- Keyword
-
Automatisches Beweisverfahren
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2011
- Contributor
-
Brünnler, Kai
Metcalfe, George
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (20 : 2011 : Bern)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:08 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Brünnler, Kai
- Metcalfe, George
- International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (20 : 2011 : Bern)
- Springer
Time of origin
- 2011
Other Objects (12)
Automated reasoning with analytic tableaux and related methods : 22th international conference ; proceedings
Automated reasoning with analytic tableaux and related methods : international conference, tableaux 2005, Koblenz, Germany, September 14 - 17, 2005 ; proceedings
Automated reasoning with analytic tableaux and related methods : international conference, tableaux 2003, Rome, Italy, September 9 - 12, 2003 ; proceedings
Automated reasoning with analytic tableaux and related methods : 18th international conference, tableaux 2009, Oslo, Norway, July 6 - 10, 2009 ; proceedings
Automated reasoning with analytic tableaux and related methods : international conference ; tableaux '98, Oisterwijk, The Netherlands, May 5 - 8, 1998 ; proceedings
Automated reasoning with analytic tableaux and related methods : international conference ; tableaux 2002, Copenhagen, Denmark, July 30 - August 1, 2002 ; proceedings
Automated reasoning with analytic tableaux and related methods : international conference ; tableaux '97, Pont-á-Mousson, France, May 13 - 16, 1997 ; proceedings
Automated reasoning with analytic tableaux and related methods : international conference ; tableaux 2000, St. Andrews, Scotland, UK, July 3 - 7, 2000 ; proceedings
Automated reasoning with analytic tableaux and related methods : international conference ; tableaux '99, Saratoga Springs, NY, USA, June 7 - 11, 1999 ; proceedings
Automated reasoning with analytic tableaux and related methods : international conference, tableaux 2007, Aix en Provence, France, July 3 - 6, 2007 ; proceedings
Trinity : tableaux d'histoire, tableaux de guerre, tableaux politiques
Tableaux
Automated reasoning with analytic tableaux and related methods : 22th international conference ; proceedings
Automated reasoning with analytic tableaux and related methods : international conference, tableaux 2005, Koblenz, Germany, September 14 - 17, 2005 ; proceedings
Automated reasoning with analytic tableaux and related methods : international conference, tableaux 2003, Rome, Italy, September 9 - 12, 2003 ; proceedings
Automated reasoning with analytic tableaux and related methods : 18th international conference, tableaux 2009, Oslo, Norway, July 6 - 10, 2009 ; proceedings
Automated reasoning with analytic tableaux and related methods : international conference ; tableaux '98, Oisterwijk, The Netherlands, May 5 - 8, 1998 ; proceedings
Automated reasoning with analytic tableaux and related methods : international conference ; tableaux 2002, Copenhagen, Denmark, July 30 - August 1, 2002 ; proceedings
Automated reasoning with analytic tableaux and related methods : international conference ; tableaux '97, Pont-á-Mousson, France, May 13 - 16, 1997 ; proceedings
Automated reasoning with analytic tableaux and related methods : international conference ; tableaux 2000, St. Andrews, Scotland, UK, July 3 - 7, 2000 ; proceedings
Automated reasoning with analytic tableaux and related methods : international conference ; tableaux '99, Saratoga Springs, NY, USA, June 7 - 11, 1999 ; proceedings
Automated reasoning with analytic tableaux and related methods : international conference, tableaux 2007, Aix en Provence, France, July 3 - 6, 2007 ; proceedings
Trinity : tableaux d'histoire, tableaux de guerre, tableaux politiques
Tableaux
Automated reasoning with analytic tableaux and related methods : 22th international conference ; proceedings
Automated reasoning with analytic tableaux and related methods : international conference, tableaux 2005, Koblenz, Germany, September 14 - 17, 2005 ; proceedings
Automated reasoning with analytic tableaux and related methods : international conference, tableaux 2003, Rome, Italy, September 9 - 12, 2003 ; proceedings
Automated reasoning with analytic tableaux and related methods : 18th international conference, tableaux 2009, Oslo, Norway, July 6 - 10, 2009 ; proceedings
Automated reasoning with analytic tableaux and related methods : international conference ; tableaux '98, Oisterwijk, The Netherlands, May 5 - 8, 1998 ; proceedings
Automated reasoning with analytic tableaux and related methods : international conference ; tableaux 2002, Copenhagen, Denmark, July 30 - August 1, 2002 ; proceedings
Automated reasoning with analytic tableaux and related methods : international conference ; tableaux '97, Pont-á-Mousson, France, May 13 - 16, 1997 ; proceedings
Automated reasoning with analytic tableaux and related methods : international conference ; tableaux 2000, St. Andrews, Scotland, UK, July 3 - 7, 2000 ; proceedings
Automated reasoning with analytic tableaux and related methods : international conference ; tableaux '99, Saratoga Springs, NY, USA, June 7 - 11, 1999 ; proceedings
Automated reasoning with analytic tableaux and related methods : international conference, tableaux 2007, Aix en Provence, France, July 3 - 6, 2007 ; proceedings
Trinity : tableaux d'histoire, tableaux de guerre, tableaux politiques