phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

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 Renate A. Schmidt
Kod Libristo: 16830524
Wydawnictwo Springer International Publishing AG, sierpień 2017
This book constitutes the proceedings of the 26th International Conference on Automated Reasoning wi... Cały opis
? points 195 b
333.01 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Baby Duck: Finger Puppet Book Yu-Hsuan Huang / Leporelo
common.buy 28.88 zł
NEPHILIM the awakening: Book 2 of the Nephilim Series MR Kirk Allen Kreitzer / Miękka
common.buy 56.36 zł
County of San Mateo, Plaintiff in Error, vs. the Southern Pacific Railroad Company, Defendant in Error. Roscoe Conkling / Miękka
common.buy 87.16 zł
Sinfonie 5/Faust op.68 Horia/George Enescu PO Andreescu / CD Audio
common.buy 74.02 zł
The Little Mermaid-Kleine Meerjungfrau West/San Francisco Ballet / DVD
common.buy 137.91 zł
Issues and Trends in Interdisciplinary Behavior and Social Science / Twarda
common.buy 1 250.93 zł
The Art of Bouncing Back: How I Survived it All Ebony K Johnson / Miękka
common.buy 71.31 zł
A Great Work: A conversation with Nehemiah for people (who want to be) doing great works. Jon C Swanson / Miękka
common.buy 45.33 zł
Hassan & Aneesa Celebrate Eid YASMEEN RAHIM / Miękka
common.buy 26.27 zł
One Step At A Time: Violin Book I Jennie Lou Klim / Miękka
common.buy 53.85 zł
Fall Into Magic- A Novella Melissa Baldwin / Miękka
common.buy 40.82 zł

This book constitutes the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017. The 19 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: Sequents systems; tableaux; transitive closure and cyclic proofs; formalization and complexity.

Informacje o książce

Pełna nazwa Automated Reasoning with Analytic Tableaux and Related Methods
Autor Renate A. Schmidt, Cláudia Nalon
Język Angielski
Oprawa Książka - Miękka
Data wydania 2017
Liczba stron 381
EAN 9783319669014
ISBN 331966901X
Kod Libristo 16830524
Wydawnictwo Springer International Publishing AG
Waga 5971
Wymiary 155 x 235 x 23

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy
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

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