phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Automated Reasoning with Analytic Tableaux and Related Methods

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Automated Reasoning with Analytic Tableaux and Related Methods Renate A. Schmidt
Libristo kód: 16830524
Nakladatelství Springer International Publishing AG, srpna 2017
This book constitutes the proceedings of the 26th International Conference on Automated Reasoning wi... Celý popis
? points 213 b
2 126 Kč
Skladem u dodavatele v malém množství Odesíláme za 10-15 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Baby Duck: Finger Puppet Book Yu-Hsuan Huang / Leporelo
common.buy 170 Kč
The Little Mermaid-Kleine Meerjungfrau West/San Francisco Ballet / DVD
common.buy 883 Kč
Hassan & Aneesa Celebrate Eid YASMEEN RAHIM / Brožovaná
common.buy 174 Kč
NEPHILIM the awakening: Book 2 of the Nephilim Series MR Kirk Allen Kreitzer / Brožovaná
common.buy 382 Kč
The Art of Bouncing Back: How I Survived it All Ebony K Johnson / Brožovaná
common.buy 435 Kč
A Great Work: A conversation with Nehemiah for people (who want to be) doing great works. Jon C Swanson / Brožovaná
common.buy 276 Kč
County of San Mateo, Plaintiff in Error, vs. the Southern Pacific Railroad Company, Defendant in Error. Roscoe Conkling / Brožovaná
common.buy 532 Kč
Sinfonie 5/Faust op.68 Horia/George Enescu PO Andreescu / Audio CD
common.buy 476 Kč
One Step At A Time: Violin Book I Jennie Lou Klim / Brožovaná
common.buy 328 Kč
Fall Into Magic- A Novella Melissa Baldwin / Brožovaná
common.buy 276 Kč
Issues and Trends in Interdisciplinary Behavior and Social Science / Pevná
common.buy 8 051 Kč

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.

Informace o knize

Plný název Automated Reasoning with Analytic Tableaux and Related Methods
Autor Renate A. Schmidt, Cláudia Nalon
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2017
Počet stran 381
EAN 9783319669014
ISBN 331966901X
Libristo kód 16830524
Nakladatelství Springer International Publishing AG
Váha 5971
Rozměry 155 x 235 x 23

Kategorie

Výpočetní a informační technologie > Informatika > Umělá inteligence > Expertní systémy/systémy založené na znalostech
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet