Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, Tableaux 2021, Birmingham, Uk, September 6-9, 2021, Pro » książka

zaloguj się | załóż konto

topmenu

Szukaj

Książki na zamówienie

Wyszukiwanie zaawansowane

Pusty koszyk

Bezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka

[2690469]

• Literatura piękna

[1636033]

więcej...

Kategorie szczegółowe BISAC

Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, Tableaux 2021, Birmingham, Uk, September 6-9, 2021, Pro

Name: Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, Tableaux 2021, Birmingham, Uk, September 6-9, 2021, Pro
Brand: Springer
Price: 191.40 PLN
Availability: InStock

ISBN-13: 9783030860585 / Angielski / Miękka / 2021 / 488 str.

Anupam Das; Sara Negri

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.

Anupam Das; Sara Negri

cena 191,40 zł
(netto: 182,29 VAT: 5%)

Najniższa cena z 30 dni: 191,40 zł

Termin realizacji zamówienia:
ok. 20 dni roboczych.

Darmowa dostawa!

Kategorie:

Informatyka, Bazy danych

Kategorie BISAC:

Computers > Artificial Intelligence - General
Mathematics > Logic
Computers > Programming - General

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:

Dodatkowe informacje:

Wydanie ilustrowane

Krainaksiazek.pl w programie rzetelna firma

Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Zobacz:

1997-2024 DolnySlask.com Agencja Internetowa