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)
69.54 EUR
Dieses Buch präsentiert die neuesten Forschungsergebnisse der TABLEAUX‑Konferenz 2017 in Brasília, fokussiert auf analytische Tafeln und verwandte Techniken für automatisierte Beweistechniken sowie deren praktische Anwendungen.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
SpringerLink DE
Automated Reasoning with Analytic Tableaux and Related Methods
SpringerLink DE
11-06-2026 10:20:48
Gesponsert
Galaxus.de
Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Cláudia Nalon, Renate A. Schmidt
Galaxus.de
11-06-2026 11:48:41
