2 resultater (0,18069 sekunder)
1 / 1

Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Pr

Fra DKK 492.95
Mærke Springer Nature Switzerland AG
EAN / Stregkode 9783030860585
Butik Bogreolen.dk
Til Butik
Produkt
Butik
Prisniveau

Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Pr

Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Pr

Tales.dk
DKK 601.95
Til Butik