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
27-04-2026 06:31:37
Gesponsert
Galaxus.de
Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Serenella Cerrito, Andrei Popescu
Galaxus.de
26-04-2026 21:53:20
