Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Automated Reasoning with Analytic Tableaux and Related Methods

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Automated Reasoning with Analytic Tableaux and Related Methods Hans de Nivelle
Libristo kod: 09511307
Nakladnici Springer International Publishing AG, listopad 2015
This book constitutes the refereed proceedings of the 24th International Conference on Automated Rea... Cijeli opis
? points 125 b
51.30 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Poings serres - castor poche senior (Les) Lecrivain Olivier Knjiga Knjiga
common.buy 5.81 €
Alternativer Risikotransfer von Naturkatastrophenrisiken unter besonderer Berucksichtigung von Cat Bonds Jana Wanke / Knjiga Meki uvez
common.buy 38.06 €
Lexique anglais-français du Conseil de l''Europe Yvette Kayserlian / E-knjiga Adobe ePub DRM
common.buy 18.37 €
Veranderung von menschen- und arbeitsrechtlichen Aspekten in den Supplier Responsibility Reports von Apple Inc. Christian Bauer / Knjiga Meki uvez
common.buy 16.97 €
Holly Stephen King / Knjiga Tvrdi uvez
common.buy 22.98 €
Passion & Kalkul Doris Reimer / Knjiga Tvrdi uvez
common.buy 176.21 €
Kreuzstiche Knud Kappelgaard / Knjiga Tvrdi uvez
common.buy 24.09 €
OVER THE RIM OF THE MOON CHANT MICHAEL HEAD Tiskanica Note
common.buy 19.97 €
Ecrits memorables - tome 1 Louis Massignon / Knjiga Meki uvez
common.buy 33.83 €
ANNAL BAC 2010 HIST/GEO L ES S Sophie Le Callennec / Knjiga Meki uvez
common.buy 8.42 €
Kaffeesieder-Putsch Mary Weissenstein / Knjiga Meki uvez
common.buy 11.64 €
Les Oeuvres de Monsieur de Crebillon.Tome 3 Jolyot De Crebillon-P / Knjiga Meki uvez
common.buy 18.16 €
Muslimische Wohlfahrtspflege in Deutschland Rauf Ceylan / Knjiga Meki uvez
common.buy 35.74 €
Législation mini?re et taxation mini?re : Tome I Albert Kalau Kaseke / Knjiga Meki uvez
common.buy 67.97 €
Oh, Que Dia Mas Divertido! Gyo Fujikawa / Knjiga Tvrdi uvez
common.buy 19.07 €
margeriten blüte (Puzzle) r.gue. / Igra/Igračka Igra
common.buy 42.16 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Automated Reasoning with Analytic Tableaux and Related Methods
Autor Hans de Nivelle
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2015
Broj stranica 355
EAN 9783319243115
ISBN 331924311X
Libristo kod 09511307
Nakladnici Springer International Publishing AG
Težina 5621
Dimenzije 155 x 235 x 21

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Genetically Modified Crops and Agricultural Development Matin Qaim / Knjiga Meki uvez
common.buy 26.60 €
Season V RANDY ALLEN / Knjiga Tvrdi uvez
common.buy 25.29 €
Precalculus David Cohen / Knjiga Tvrdi uvez
common.buy 389.58 €
Basics of Organizational Writing Yeonkwon Jung / Knjiga Meki uvez
common.buy 71.28 €
Identity and Cultural Translation: Writing Across the Borders of Englishness Ana Gabriela Macedo / Knjiga Meki uvez
common.buy 73.09 €
Cognitive Behaviour Therapy Case Studies Mike Thomas / Knjiga Meki uvez
common.buy 34.63 €
Planet of Adventure Jack Vance / Knjiga Meki uvez
common.buy 19.07 €
Wildfires Pamela McDowell / Knjiga Tvrdi uvez
common.buy 26.91 €
Blind Curve And Other Stories Light And Dark Dave Donelson / Knjiga Meki uvez
common.buy 14.66 €
A Brit's Guide to New Orleans Paul Oswell / Knjiga Meki uvez
common.buy 6.22 €
Visuality in the Works of Siri Hustvedt Corinna Sophie Reipen / Knjiga Tvrdi uvez
common.buy 64.45 €
Unraveling The Mysteries of Faith Michelle Levigne / Knjiga Meki uvez
common.buy 14.75 €
Raspberry Pi: Step-By-Step Guide to Raspberry Pi for Beginners Gabriel Grey / Knjiga Meki uvez
common.buy 14.76 €
Alice in Wonderland - Alice nel Paese delle Meraviglie MOSTUSEDWORDS / Knjiga Meki uvez
common.buy 20.17 €
Jinx: Mother Chapter Flora Burgos / Knjiga Meki uvez
common.buy 12.95 €
Advances in Optical and Photonic Devices Ki Young Kim / Knjiga Tvrdi uvez
common.buy 136.85 €
Botanical Embroidery Schnücker / Knjiga Meki uvez
common.buy 17.46 €
Scenes of Attention – Essays on Mind, Time, and the Senses D. Graham Burnett / Knjiga Tvrdi uvez
common.buy 169.88 €
LSD Richard Alpert PhD a.k.a. Ram Dass / Audio knjiga MP3
common.buy 16.16 €
MAP TOUR OF MONTE ROSA MCCLUGGAGE ANDREW / Knjiga Meki uvez
common.buy 20.37 €
Top
Perfect English Small and Beautiful Shaw / Knjiga Tvrdi uvez
common.buy 33.93 €
Physics Of Astrophysics Volume 2 - Gas Dynamics Frank Shu / Knjiga Meki uvez
common.buy 102.81 €
Image: An Integrated Model to Assess the Greenhouse Effect J. Rotmans / Knjiga Meki uvez
common.buy 102.31 €
Women Political Leaders in Rwanda and South Afri - Narratives of Triumph and Loss Naleli Morojele / Knjiga Meki uvez
common.buy 38.65 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?