Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, ... in Computer Science
53.49 EUR
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
SpringerLink DE
Automated Reasoning with Analytic Tableaux and Related Methods
SpringerLink DE
11-06-2026 10:09:58
Gesponsert
Galaxus.de
Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Serenella Cerrito, Andrei Popescu
Galaxus.de
11-06-2026 12:02:16
