Automated Reasoning with Analytic Tableaux and Related Methods

69.49 EUR 0% Off 69.54 EUR

Die Konferenzband‑Sammlung der TABLEAUX 2017 in Brasília präsentiert aktuelle Forschung zu analytischen Tafeln, logischen Algorithmen und deren Einsatz in automatisierten Beweissystemen.

ISBN: 9783319669014

Angebote
Merkmale

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

-0%

Gesponsert Automated Reasoning with Analytic Tableaux and Related Methods

Hugendubel

69.49 EUR 69.54 EUR

20-09-2026 02:43:54

Access to the deal

Gesponsert Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Cláudia Nalon, Renate A. Schmidt

Galaxus.de

69.54 EUR 69.54 EUR

24-09-2026 10:23:34

Access to the deal

Gesponsert Automated Reasoning with Analytic Tableaux and Related Methods

SpringerLink DE

69.54 EUR 69.54 EUR

24-09-2026 00:03:12

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 Cláudia Nalon, Renate A. Schmidt

Gesponsert Automated Reasoning with Analytic Tableaux and Related Methods

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl