Automated Reasoning with Analytic Tableaux and Related Methods

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

Gesponsert Automated Reasoning with Analytic Tableaux and Related Methods

SpringerLink DE

69.54 EUR 69.54 EUR

19-06-2026 18:50:24

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

26-06-2026 05:05:34

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

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl