Konferenzschrift | Kongress
Automated reasoning with analytic tableaux and related methods : international conference ; tableaux '99, Saratoga Springs, NY, USA, June 7 - 11, 1999 ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540660866
3540660860
- Dimensions
-
24 cm
- Extent
-
X, 323 S.
- Language
-
Englisch
- Notes
-
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 1617 : Lecture notes in artificial intelligence
- Keyword
-
Automatisches Beweisverfahren
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
1999
- Contributor
-
Murray, Neil V.
- 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:09 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
- Murray, Neil V.
- Springer
Time of origin
- 1999
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
Ballston and Saratoga Springs
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 2007, Aix en Provence, France, July 3 - 6, 2007 ; proceedings
Marx, Alice, Saratoga Springs (USA)
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
Ballston and Saratoga Springs
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 2007, Aix en Provence, France, July 3 - 6, 2007 ; proceedings
Marx, Alice, Saratoga Springs (USA)
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
Ballston and Saratoga Springs
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 2007, Aix en Provence, France, July 3 - 6, 2007 ; proceedings