Konferenzschrift | Kongress
Automated reasoning with analytic tableaux and related methods : international conference ; tableaux '98, Oisterwijk, The Netherlands, May 5 - 8, 1998 ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540644064
3540644067
- Dimensions
-
24 cm
- Extent
-
X, 324 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 1397 : Lecture notes in artificial intelligence
- Keyword
-
Automatisches Beweisverfahren
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, London, Milan, Paris, Santa Clara, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
1998
- Contributor
- 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:55 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
- De Swart, Harrie
- International Conference Tableaux (1998 : Oisterwijk)
- Springer
Time of origin
- 1998
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 : 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
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 : 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
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 : 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
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