Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, Tableaux 2021, Birmingham, Uk, September 6-9, 2021, Pro » książka
topmenu
Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, Tableaux 2021, Birmingham, Uk, September 6-9, 2021, Pro
ISBN-13: 9783030860585 / Angielski / Miękka / 2021 / 488 str.
Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, Tableaux 2021, Birmingham, Uk, September 6-9, 2021, Pro
ISBN-13: 9783030860585 / Angielski / Miękka / 2021 / 488 str.
cena 195,87 zł
(netto: 186,54 VAT: 5%)
Najniższa cena z 30 dni: 192,74 zł
(netto: 186,54 VAT: 5%)
Najniższa cena z 30 dni: 192,74 zł
Termin realizacji zamówienia:
ok. 20 dni roboczych.
ok. 20 dni roboczych.
Darmowa dostawa!
Kategorie:
Kategorie BISAC:
Wydawca:
Springer
Język:
Angielski
ISBN-13:
9783030860585
Rok wydania:
2021
Wydanie:
2021
Ilość stron:
488
Waga:
0.67 kg
Wymiary:
23.39 x 15.6 x 2.49
Oprawa:
Miękka
Wolumenów:
01
Dodatkowe informacje:
Wydanie ilustrowane
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
