Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Automated Reasoning with Analytic Tableaux and Related Methods

24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Automated Reasoning with Analytic Tableaux and Related Methods Hans de Nivelle
Libristo kód: 09511307
Nakladatelství Springer International Publishing AG, říjen 2015
This book constitutes the refereed proceedings of the 24th International Conference on Automated Rea... Celý popis
? points 125 b
1 250 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Poings serres - castor poche senior (Les) Lecrivain Olivier Kniha Kniha
common.buy 173 Kč
Alternativer Risikotransfer von Naturkatastrophenrisiken unter besonderer Berucksichtigung von Cat Bonds Jana Wanke / Kniha Brožovaná
common.buy 874 Kč
Lexique anglais-français du Conseil de l''Europe Yvette Kayserlian / E-kniha Adobe ePub DRM
common.buy 476 Kč
Veranderung von menschen- und arbeitsrechtlichen Aspekten in den Supplier Responsibility Reports von Apple Inc. Christian Bauer / Kniha Brožovaná
common.buy 389 Kč
Holly Stephen King / Kniha Pevná
common.buy 596 Kč
Passion & Kalkul Doris Reimer / Kniha Pevná
common.buy 4 025 Kč
Kreuzstiche Knud Kappelgaard / Kniha Pevná
common.buy 558 Kč
OVER THE RIM OF THE MOON CHANT MICHAEL HEAD Tiskovina Noty
common.buy 534 Kč
Ecrits memorables - tome 1 Louis Massignon / Kniha Brožovaná
common.buy 886 Kč
ANNAL BAC 2010 HIST/GEO L ES S Sophie Le Callennec / Kniha Brožovaná
common.buy 240 Kč
margeriten blüte (Puzzle) r.gue. / Hra/Hračka Hra
common.buy 1 091 Kč
Les Oeuvres de Monsieur de Crebillon.Tome 3 Jolyot De Crebillon-P / Kniha Brožovaná
common.buy 417 Kč
Muslimische Wohlfahrtspflege in Deutschland Rauf Ceylan / Kniha Brožovaná
common.buy 870 Kč
Législation mini?re et taxation mini?re : Tome I Albert Kalau Kaseke / Kniha Brožovaná
common.buy 1 657 Kč
Kaffeesieder-Putsch Mary Weissenstein / Kniha Brožovaná
common.buy 286 Kč

This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. §The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: tableaux calculi; sequent calculus; resolution; other calculi; and applications.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Automated Reasoning with Analytic Tableaux and Related Methods
Autor Hans de Nivelle
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2015
Počet stran 355
EAN 9783319243115
ISBN 331924311X
Libristo kód 09511307
Nakladatelství Springer International Publishing AG
Váha 5621
Rozměry 155 x 235 x 21

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Informatika > Teorie algoritmů > Matematika pro informatiky
Výpočetní a informační technologie > Informatika > Umělá inteligence > Expertní systémy/systémy založené na znalostech
Matematika a věda > Matematika > Diskrétní matematika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
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

Mohlo by vás také zajímat

Genetically Modified Crops and Agricultural Development Matin Qaim / Kniha Brožovaná
common.buy 649 Kč
Season V RANDY ALLEN / Kniha Pevná
common.buy 659 Kč
Precalculus David Cohen / Kniha Pevná
common.buy 9 239 Kč
Basics of Organizational Writing Yeonkwon Jung / Kniha Brožovaná
common.buy 1 829 Kč
Identity and Cultural Translation: Writing Across the Borders of Englishness Ana Gabriela Macedo / Kniha Brožovaná
common.buy 1 748 Kč
Cognitive Behaviour Therapy Case Studies Mike Thomas / Kniha Brožovaná
common.buy 894 Kč
Planet of Adventure Jack Vance / Kniha Brožovaná
common.buy 396 Kč
Wildfires Pamela McDowell / Kniha Pevná
common.buy 618 Kč
Blind Curve And Other Stories Light And Dark Dave Donelson / Kniha Brožovaná
common.buy 339 Kč
A Brit's Guide to New Orleans Paul Oswell / Kniha Brožovaná
common.buy 144 Kč
Visuality in the Works of Siri Hustvedt Corinna Sophie Reipen / Kniha Pevná
common.buy 1 549 Kč
Unraveling The Mysteries of Faith Michelle Levigne / Kniha Brožovaná
common.buy 340 Kč
Raspberry Pi: Step-By-Step Guide to Raspberry Pi for Beginners Gabriel Grey / Kniha Brožovaná
common.buy 340 Kč
Alice in Wonderland - Alice nel Paese delle Meraviglie MOSTUSEDWORDS / Kniha Brožovaná
common.buy 467 Kč
Jinx: Mother Chapter Flora Burgos / Kniha Brožovaná
common.buy 299 Kč
Advances in Optical and Photonic Devices Ki Young Kim / Kniha Pevná
common.buy 3 334 Kč
Botanical Embroidery Schnücker / Kniha Brožovaná
common.buy 416 Kč
Scenes of Attention – Essays on Mind, Time, and the Senses D. Graham Burnett / Kniha Pevná
common.buy 3 972 Kč
LSD Richard Alpert PhD a.k.a. Ram Dass / Audiokniha MP3
common.buy 418 Kč
MAP TOUR OF MONTE ROSA MCCLUGGAGE ANDREW / Kniha Brožovaná
common.buy 491 Kč
Top
Perfect English Small and Beautiful Shaw / Kniha Pevná
common.buy 723 Kč
Physics Of Astrophysics Volume 2 - Gas Dynamics Frank Shu / Kniha Brožovaná
common.buy 2 267 Kč
Image: An Integrated Model to Assess the Greenhouse Effect J. Rotmans / Kniha Brožovaná
common.buy 2 492 Kč
Women Political Leaders in Rwanda and South Afri - Narratives of Triumph and Loss Naleli Morojele / Kniha Brožovaná
common.buy 905 Kč

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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?