Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Automated Reasoning with Analytic Tableaux and Related Methods

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Automated Reasoning with Analytic Tableaux and Related Methods Hans de Nivelle
Koda Libristo: 09511307
Založba Springer International Publishing AG, oktober 2015
This book constitutes the refereed proceedings of the 24th International Conference on Automated Rea... Celoten opis
? points 118 b
48.94 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Poings serres - castor poche senior (Les) Lecrivain Olivier Knjiga Knjiga
common.buy 6.48 €
Alternativer Risikotransfer von Naturkatastrophenrisiken unter besonderer Berucksichtigung von Cat Bonds Jana Wanke / Knjiga Mehka
common.buy 36.17 €
Lexique anglais-français du Conseil de l''Europe Yvette Kayserlian / E-knjiga Adobe ePub DRM
common.buy 17.52 €
Veranderung von menschen- und arbeitsrechtlichen Aspekten in den Supplier Responsibility Reports von Apple Inc. Christian Bauer / Knjiga Mehka
common.buy 16.10 €
Holly Stephen King / Knjiga Trda
common.buy 21.98 €
Passion & Kalkul Doris Reimer / Knjiga Trda
common.buy 166.70 €
Kreuzstiche Knud Kappelgaard / Knjiga Trda
common.buy 23.10 €
OVER THE RIM OF THE MOON CHANT MICHAEL HEAD Tiskani izdelki Note
common.buy 20.16 €
Ecrits memorables - tome 1 Louis Massignon / Knjiga Mehka
common.buy 33.43 €
ANNAL BAC 2010 HIST/GEO L ES S Sophie Le Callennec / Knjiga Mehka
common.buy 9.01 €
margeriten blüte (Puzzle) r.gue. / Igra/Igrača Igra
common.buy 40.33 €
Les Oeuvres de Monsieur de Crebillon.Tome 3 Jolyot De Crebillon-P / Knjiga Mehka
common.buy 18.23 €
Muslimische Wohlfahrtspflege in Deutschland Rauf Ceylan / Knjiga Mehka
common.buy 34.04 €
Législation mini?re et taxation mini?re : Tome I Albert Kalau Kaseke / Knjiga Mehka
common.buy 64.55 €
Kaffeesieder-Putsch Mary Weissenstein / Knjiga Mehka
common.buy 11.14 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Automated Reasoning with Analytic Tableaux and Related Methods
Avtor Hans de Nivelle
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2015
Število strani 355
EAN 9783319243115
ISBN 331924311X
Koda Libristo 09511307
Založba Springer International Publishing AG
Teža 5621
Mere 155 x 235 x 21

Kategorije

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Mathematics & Science > Mathematics > Discrete mathematics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Genetically Modified Crops and Agricultural Development Matin Qaim / Knjiga Mehka
common.buy 25.43 €
Season V RANDY ALLEN / Knjiga Trda
common.buy 25.12 €
Precalculus David Cohen / Knjiga Trda
common.buy 364.53 €
Basics of Organizational Writing Yeonkwon Jung / Knjiga Mehka
common.buy 68.50 €
Identity and Cultural Translation: Writing Across the Borders of Englishness Ana Gabriela Macedo / Knjiga Mehka
common.buy 76.61 €
Cognitive Behaviour Therapy Case Studies Mike Thomas / Knjiga Mehka
common.buy 32.83 €
Planet of Adventure Jack Vance / Knjiga Mehka
common.buy 17.62 €
Wildfires Pamela McDowell / Knjiga Trda
common.buy 26.04 €
Blind Curve And Other Stories Light And Dark Dave Donelson / Knjiga Mehka
common.buy 14.08 €
A Brit's Guide to New Orleans Paul Oswell / Knjiga Mehka
common.buy 5.97 €
Visuality in the Works of Siri Hustvedt Corinna Sophie Reipen / Knjiga Trda
common.buy 67.89 €
Unraveling The Mysteries of Faith Michelle Levigne / Knjiga Mehka
common.buy 14.08 €
Raspberry Pi: Step-By-Step Guide to Raspberry Pi for Beginners Gabriel Grey / Knjiga Mehka
common.buy 14.08 €
Alice in Wonderland - Alice nel Paese delle Meraviglie MOSTUSEDWORDS / Knjiga Mehka
common.buy 19.35 €
Jinx: Mother Chapter Flora Burgos / Knjiga Mehka
common.buy 12.35 €
Advances in Optical and Photonic Devices Ki Young Kim / Knjiga Trda
common.buy 129.92 €
Botanical Embroidery Schnücker / Knjiga Mehka
common.buy 16.10 €
Scenes of Attention – Essays on Mind, Time, and the Senses D. Graham Burnett / Knjiga Trda
common.buy 164.47 €
LSD Richard Alpert PhD a.k.a. Ram Dass / Zvočnica MP3
common.buy 15.50 €
MAP TOUR OF MONTE ROSA MCCLUGGAGE ANDREW / Knjiga Mehka
common.buy 20.36 €
Top
Perfect English Small and Beautiful Shaw / Knjiga Trda
common.buy 32.12 €
Physics Of Astrophysics Volume 2 - Gas Dynamics Frank Shu / Knjiga Mehka
common.buy 100.12 €
Image: An Integrated Model to Assess the Greenhouse Effect J. Rotmans / Knjiga Mehka
common.buy 97.59 €
Women Political Leaders in Rwanda and South Afri - Narratives of Triumph and Loss Naleli Morojele / Knjiga Mehka
common.buy 37.49 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?