Vor Ort
Merkzettel Warenkorb
  • Produktbild: Handbook of Tableau Methods
  • Produktbild: Handbook of Tableau Methods
- 13%

Handbook of Tableau Methods

13% sparen

189,99 € UVP 219,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.12.2010

Herausgeber

M. D'Agostino + weitere

Verlag

Springer Netherland

Seitenzahl

670

Maße (L/B/H)

23,5/15,5/3,7 cm

Gewicht

1019 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-90-481-5184-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.12.2010

Herausgeber

Verlag

Springer Netherland

Seitenzahl

670

Maße (L/B/H)

23,5/15,5/3,7 cm

Gewicht

1019 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-90-481-5184-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Handbook of Tableau Methods
  • Produktbild: Handbook of Tableau Methods
  • Preface. Introduction; M. Fitting. Tableau Methods for Classical Propositional Logic; M. D'Agostino. First-Order Tableau Methods; R. Letz. Equality and Other Theories; B. Beckert. Tableaux for Intuitionistic Logics; A. Waaler, L. Wallen. Tableau Methods for Modal and Temporal Logics; R. Goré. Tableau Methods for Substructural Logics; M. D'Agostino, et al. Tableaux for Nonmonotonic Logics; N. Olivetti. Tableaux for Many-valued Logics; R. Hähnle. Implementing Semantic Tableaux; J. Posegga, P. Schmitt. A Bibliography on Analytic Tableaux Theorem Proving; G. Wrightson. Index.