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

Bibliographische Detailangaben

Körperschaft:	International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (BerichterstatterIn)
Weitere Verfasser:	Brünnler, Kai (HerausgeberIn), Metcalfe, George (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2011
Schriftenreihe:	Lecture notes in computer science 6793 : Lecture notes in artificial intelligence
Schlagworte:	Automatic theorem proving > Konferenzschrift > Automatisches Beweisverfahren
Online Zugang:	Inhaltsverzeichnis Inhaltstext Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!