Automated Reasoning with Analytic Tableaux and Related Methods

49.22 EUR

Dieses Werk liefert tiefe Einblicke in die neuesten Entwicklungen analytischer Tableau-Techniken, behandelt innovative Algorithmen zur Effizienzsteigerung und zeigt praxisnahe Anwendungen in formalen Logiksystemen auf.

MPN: 34 black & white illustrations, biograph

ISBN: 9783642405365

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Automated Reasoning with Analytic Tableaux and Related Methods

SpringerLink DE

49.22 EUR 49.22 EUR

19-06-2026 18:49:55

Access to the deal

Gesponsert Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Didier Galmiche, Dominique Larchey-Wendling

Galaxus.de

49.22 EUR 49.22 EUR

23-06-2026 21:21:21

Access to the deal

Automated Reasoning with Analytic Tableaux and Related Methods

Gesponsert Automated Reasoning with Analytic Tableaux and Related Methods

Gesponsert Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Didier Galmiche, Dominique Larchey-Wendling

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl