Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Automated Reasoning

Język AngielskiAngielski
Książka Miękka
Książka Automated Reasoning Viorica Sofronie-Stokkermans
Kod Libristo: 32946509
Wydawnictwo Springer Nature Switzerland AG, czerwiec 2020
This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th Internatio... Cały opis
? points 185 b
330.62 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Wasserverschmutzung Mahmood Yekeh Yazdandoost / Książka Miękka
common.buy 154.53 zł
La table du 11, Jean-Baptiste Lavergne Morazzani Ferret / Książka Twarda
common.buy 158.33 zł
Můj diář Veronika Šporclová / Książka Miękka
common.buy 29.85 zł
Etudes Sur L'Allemagne: Renfermant Une Histoire de La Peinture Allemande ... Alfred Michiels / Książka Miękka
common.buy 120.66 zł
Recuerdos De La Villa De Laredo Antonio Bravo y. Tudela / Książka Miękka
common.buy 108.56 zł
Das kleine Nähcafé am Fluss - Nähideen für gemütliche Stunden Sabine Schmidt / Książka Twarda
common.buy 95.32 zł
Der Gegenwartswert der geschichtlichen Erforschung der mittelalterlichen Philosophie Martin Grabmann / Książka Miękka
common.buy 59.51 zł
Dis-Moi, Lily Marl ne MICHEL NORMANDEAU / Książka Miękka
common.buy 104.25 zł
Agustina de Aragón : la mujer y el mito María del Pilar Queralt del Hierro / Książka Miękka
common.buy 129.29 zł

This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving), and TABLEAUX (International Conference on Analytic Tableaux and Related Methods).

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Automated Reasoning
Autor Viorica Sofronie-Stokkermans
Język Angielski
Oprawa Książka - Miękka
Data wydania 2020
Liczba stron 511
EAN 9783030510534
ISBN 3030510530
Kod Libristo 32946509
Wydawnictwo Springer Nature Switzerland AG
Waga 807
Wymiary 155 x 235 x 29

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Intelligent Optimal Control for Distributed Industrial Systems Shaoyuan Li / Książka Miękka
common.buy 234.47 zł
TOP Nowość
Toxy Noxy Foresty Forest, Vol. 1 Amanda Haley / Książka Miękka
common.buy 52.63 zł
Rough Guides City Stories: New York Seasons E01 / Książka Twarda
common.buy 46.89 zł
Zapowiedź
Graphene Quantum Dot-based Polymer Nanocomposites Srikanta Moharana / Książka Miękka
common.buy 1 291.91 zł
A Natural History of Natural Theology Johan De Smedt / Książka Miękka
common.buy 227.69 zł
Pip and Posy: The Birthday Party Reid / Książka Leporelo
common.buy 33.13 zł
Clytemnestra's Bind Susan C Wilson / Książka Miękka
common.buy 46.78 zł
Law, Practice and Politics of Forensic DNA Profiling Victor Toom / Książka Miękka
common.buy 253.96 zł
Criminal Investigation Laboratory Manual Ronald Becker / Książka Miękka
common.buy 200.19 zł
Law Recorder George Wright / Książka Miękka
common.buy 104.25 zł
The Literary Remains of the Late Henry James Henry James / Książka Miękka
common.buy 123.74 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?