Automated Reasoning with Analytic Tableaux and Related Methods | Kaicus Deutschland

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
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen