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 with Analytic Tableaux and Related Methods

Język AngielskiAngielski
Książka Miękka
Książka Automated Reasoning with Analytic Tableaux and Related Methods Tarmo Uustalu
Kod Libristo: 49478137
Wydawnictwo Springer-Verlag GmbH, październik 2025
This open access book constitutes the proceedings of the 33rd International Conference on Automated... Cały opis
? points 100 b
177.35 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Necrovet. Usługi weterynaryjno-nekromantyczne Joanna W. Gajzler / Książka Miękka
common.buy 33.49 zł
Hommes Emmanuelle Richard / Książka Miękka
common.buy 102.22 zł
Legislation Sur Le Droit de Reunion En France PUIBARAUD-L / Książka Miękka
common.buy 58.67 zł
Handbuch der Zendsprache Ferdinand Justi / Książka Miękka
common.buy 190.85 zł

This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during September 27 29, 2025.

The 25 full papers included in this book were carefully reviewed and selected from 47 sbumissions. They were organized in topical sections as follows: Classical and multi-valued logic, theorem proving; modal and tense logic; and intuitionistic and substructural logic.

 

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 with Analytic Tableaux and Related Methods
Autor Tarmo Uustalu
Język Angielski
Oprawa Książka - Miękka
Data wydania 2025
Liczba stron 512
EAN 9783032060846
ISBN 3032060842
Kod Libristo 49478137
Wydawnictwo Springer-Verlag GmbH
Waga 768

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
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ć

Glad You Asked: Intriguing Names, Facts, and Ideas for the Curious-Minded Michael Feldman / Książka Twarda
common.buy 79.69 zł
Banished from the Hero's Party, I Decided to Live a Quiet Life in the Countryside, Vol. 2 LN YASUMO / Książka Miękka
common.buy 61.82 zł
Three Hostages JOHN BUCHAN / Książka Miękka
common.buy 62.73 zł
An Introduction to Petroleum Fuel Facilities: Aircraft Fueling Facilities J. Paul Guyer / Książka Miękka
common.buy 117.66 zł
Rise of the Dragon Moon Gabrielle K. Byrne / Książka Miękka
common.buy 80.30 zł
GMAT Integrated Reasoning & Essay: Strategy Guide + Online Resources Manhattan Prep / Książka Miękka
common.buy 186.39 zł
Zapowiedź
Macromolecular Chemistry and Physics Maria Emilova Velinova / Książka Twarda
common.buy 773.20 zł
Letter Sounds Save Their Soul: Book 4 Vanessa Peters / Książka Miękka
common.buy 82.73 zł
Gedichte Karl August Woll / Książka Miękka
common.buy 72.99 zł
The Song of Majnun: An Opera of Lyric Tragedy in One Act Bright Sheng / Książka Miękka
common.buy 167.81 zł
Piano Sonatas - Book 1: Schirmer Library of Classics Volume 1982 Piano Solo Franz Joseph Haydn / Książka Miękka
common.buy 82.53 zł
Boston Marathon Paul C. Clerici / Książka Miękka
common.buy 72.78 zł
TOP Tanie
Origins Annie Murphy Paul / Książka Miękka
common.buy 39.89 zł
Celestial Rays of Wisdom Ikenna Adiele / Książka Miękka
common.buy 106.90 zł
Lastchance Junction Sally Pratt McLean / Książka Miękka
common.buy 92.17 zł
Systemic Regularities & Systemic Optimization Guram S. Javakhadze / Książka Twarda
common.buy 624.46 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?