> Detailanzeige

Brünnler, Kai [HerausgeberIn]; Metcalfe, George [Sonstige Person, Familie und Körperschaft] ; International Conference on Automated Reasoning with Analytic Tableaux and Related Methods 20 2011 Bern

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

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Als RIS exportieren Als BibTeX exportieren Als EndNote exportieren

Schließen

Merkliste

Medientyp: Buch; Konferenzbericht
Titel: Automated reasoning with analytic tableaux and related methods : 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 ; proceedings
Beteiligte: Brünnler, Kai [Hrsg.]; Metcalfe, George [Sonstige Person, Familie und Körperschaft]
Veranstaltung: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2011
Erschienen in: Lecture notes in computer science ; 6793
Umfang: XII, 277 S.; graph. Darst
Sprache: Englisch
ISBN: 3642221181; 9783642221187
Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 80073016
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Automatisches Beweisverfahren
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Lecture notes in computer science