Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 14.09.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher, nicht preisgebundene Bücher und Kalender in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Nur gültig mit im Onlineshop hinterlegter Bonuscard. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
  • Produktbild: Handbook of Tableau Methods
  • Produktbild: Handbook of Tableau Methods
- 12%

Handbook of Tableau Methods

12% sparen

192,99 € UVP 219,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.03.1999

Abbildungen

VIII, 670 p.

Herausgeber

M. D'Agostino + weitere

Verlag

Springer Netherland

Seitenzahl

670

Maße (L/B/H)

24,1/16/4,3 cm

Gewicht

1180 g

Auflage

1999

Sprache

Englisch

ISBN

978-0-7923-5627-1

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.03.1999

Abbildungen

VIII, 670 p.

Herausgeber

Verlag

Springer Netherland

Seitenzahl

670

Maße (L/B/H)

24,1/16/4,3 cm

Gewicht

1180 g

Auflage

1999

Sprache

Englisch

ISBN

978-0-7923-5627-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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
  • Tableau Methods for Classical Propositional Logic.- First-order Tableau Methods.- Equality and other Theories.- Tableaux for Intuitionistic Logics.- Tableau Methods for Modal and Temporal Logics.- Tableau Methods for Substructural Logics.- Tableaux for Nonmonotonic Logics.- Tableaux for Many-valued Logics.- Implementing Semantic Tableaux.- A Bibliography on Analytic Tableaux Theorem Proving.