Automated Reasoning with Analytic Tableaux and Related Methods | Kaicus Deutschland

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