Konferenzschrift | Kongress
Automated reasoning with analytic tableaux and related methods : international conference, tableaux 2007, Aix en Provence, France, July 3 - 6, 2007 ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540730989
3540730982
- Dimensions
-
24 cm
- Extent
-
X, 244 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 4548 : Lecture notes in artificial intelligence
- Keyword
-
Automatisches Beweisverfahren
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York
- (who)
-
Springer
- (when)
-
2007
- Contributor
-
Olivetti, Nicola
- 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, 1:44 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
- Olivetti, Nicola
- Springer
Time of origin
- 2007
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 : 20th international conference, tableaux 2011, Bern, Switzerland, July 4 - 8, 2011 ;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
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 : 20th international conference, tableaux 2011, Bern, Switzerland, July 4 - 8, 2011 ;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
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 : 20th international conference, tableaux 2011, Bern, Switzerland, July 4 - 8, 2011 ;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
Trinity : tableaux d'histoire, tableaux de guerre, tableaux politiques