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)
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
Hugendubel
Automated Reasoning with Analytic Tableaux and Related Methods
Hugendubel
25-09-2026 06:40:21
Gesponsert
Galaxus.de
Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Renate Schmidt, Cláudia Nalon
Galaxus.de
30-09-2026 04:18:56
Gesponsert
SpringerLink DE
Automated Reasoning with Analytic Tableaux and Related Methods
SpringerLink DE
29-09-2026 16:51:45
