Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, ... Notes in Computer Science, Band 10501)
Die Ausgabe der TABLEAUX‑Konferenz 2017 in Brasília bietet einen tiefen Einblick in analytische Tafeln, logische Verfahren und ihre Rolle bei autom ...
Gesponsert
SpringerLink DE
69.54 EUR
Preis aktualisiert am: 16-06-2026 19:20:38
Gesponsert
Galaxus.de
69.54 EUR
Preis aktualisiert am: 16-06-2026 02:27:58
Allgemein
ISBN
9783319669014
