Konferenzschrift | Kongress

Automated reasoning with analytic tableaux and related methods : 20th international conference, tableaux 2011, Bern, Switzerland, July 4 - 8, 2011 ;proceedings

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642221187
3642221181
Maße
24 cm
Umfang
XII, 277 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Literaturangaben

Erschienen in
Lecture notes in computer science ; 6793 : Lecture notes in artificial intelligence

Schlagwort
Automatisches Beweisverfahren

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg
(wer)
Springer
(wann)
2011
Beteiligte Personen und Organisationen
Brünnler, Kai
Metcalfe, George
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (20 : 2011 : Bern)

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:08 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Objekttyp

  • Konferenzschrift
  • Kongress

Beteiligte

  • Brünnler, Kai
  • Metcalfe, George
  • International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (20 : 2011 : Bern)
  • Springer

Entstanden

  • 2011

Ähnliche Objekte (12)

Automated reasoning with analytic tableaux and related methods : 22th international conference ; proceedings

Konferenzschrift | Kongress

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

Konferenzschrift | Kongress

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

Konferenzschrift | Kongress

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

Konferenzschrift | Kongress

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

Konferenzschrift | Kongress

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

Konferenzschrift | Kongress

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

Konferenzschrift | Kongress

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

Konferenzschrift | Kongress

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

Konferenzschrift | Kongress

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

Konferenzschrift | Kongress

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

Bildband

Trinity : tableaux d'histoire, tableaux de guerre, tableaux politiques

Tableaux

Abschnitt

Tableaux

Verbundene Objekte