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 Deduction - CADE-20

20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Automated Deduction - CADE-20 Robert Nieuwenhuis
Koda Libristo: 01560923
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, julij 2005
This book constitutes the refereed proceedings of the 20th International Conference on Automated Ded... Celoten opis
? points 118 b
48.71 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

????? ???????? ? &quote;???? ??????????? ????????&quote; Erich von Neff / E-knjiga Adobe ePub DRM
common.buy 0.90 €
Götterdämmerung. Der Ring des Nibelungen 4 Fabian Hinrichs / Zvok Zvočni CD
common.buy 14.92 €
Pro radost. For Joy Iva Bittová / Knjiga binding.
common.buy 15.83 €
Peugeot 205 od 9/83 do 2/99 Hans-Rüdiger Etzold / Knjiga Mehka
common.buy 23.59 €
Der Vernichtungskampf Wider Die Bauern In Mecklenburg (1864) Moritz Wiggers / Knjiga Mehka
common.buy 20.16 €
Glasgow lieben lernen Sarah Glenn / Knjiga Mehka
common.buy 7.76 €
Betriebliche Standortplanung im Rahmen von urbanen Unternehmensnetzwerken Christoph Gerdes / Knjiga Mehka
common.buy 23.49 €
Performance-Messung und Eigentuemerorientierung Andreas Schüler / Knjiga Mehka
common.buy 171.86 €
Die Illojiim Hartmut Großer / Knjiga Mehka
common.buy 17.44 €
Profesión mamá / Occupation Mom Irma Gallo / Knjiga Mehka
common.buy 15.73 €
Planungsrecht in der gerichtlichen Kontrolle. Wilfried Erbguth / Knjiga Mehka
common.buy 85.73 €
Dyskalkulie Silvia Pixner / Knjiga Mehka
common.buy 12.19 €
Augsburgischer Compendiöser Hand- Schreib- und Sack-Calender Andreas Brinhaußer / Knjiga Mehka
common.buy 16.73 €
Patentierbarkeit gentechnischer Veranderungen von Organismen Manuela Markweg-Hanke / Knjiga Mehka
common.buy 48.51 €

This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005.§The 25 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.

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 Deduction - CADE-20
Avtor Robert Nieuwenhuis
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2005
Število strani 466
EAN 9783540280057
ISBN 3540280057
Koda Libristo 01560923
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 721
Mere 155 x 235 x 26

Kategorije

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
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

School Inspection & Self-Evaluation John MacBeath / Knjiga Trda
common.buy 232.89 €
A Monograph On The Parish Of St. Lawrence, Ipswich (1888) Benjamin Page Grimsey / Knjiga Mehka
common.buy 20.16 €
Forgiveness and Letting Go in Emotion-Focused Therapy Catalina Woldarsky Meneses / Knjiga Trda
common.buy 58.09 €
JOHANN CHRISTOPH ADELUNGS DEUTSCHE SPRAC JOHANN CHRI ADELUNG / Knjiga Trda
common.buy 37.21 €
What's my name? EDDIE Tiina Walsh / Knjiga Mehka
common.buy 14.01 €
Rudin by Ivan Turgenev, Fiction, Classics, Literary Ivan Turgenev / Knjiga Mehka
common.buy 13.51 €
Modern Practice Of Civil Litigation In Nigeria Bl Maiyaki Theodore Bala Ph D / Knjiga Trda
common.buy 44.57 €
New Perspectives in Service-Learning Shelley H. Billig / Knjiga Trda
common.buy 115.38 €
Children of Lutetia. William Blanchard Jerrold / Knjiga Mehka
common.buy 22.79 €
Notes and Reflections During a Ramble in Germany. by the Author of "Recollections in the Peninsula," Etc. [I.E. M. Sherer.] Anonymous / Knjiga Mehka
common.buy 25.61 €
Mr. Lee's Plan, March 29, 1777 George Henry Moore / Knjiga Mehka
common.buy 21.88 €
Let's Talk Back Barbara Simon / Knjiga Mehka
common.buy 19.26 €
God and the Multiverse Victor Stenger / Knjiga Trda
common.buy 20.67 €
Kafka's Creatures Marc Lucht / Knjiga Mehka
common.buy 65.35 €
Innovative Comparative Methods for Policy Analysis H. Grimm / Knjiga Trda
common.buy 145.54 €
Making of the Roman Army Lawrence Keppie / Knjiga Mehka
common.buy 61.72 €
Tao Te Ching Lao Tzu / Knjiga Mehka
common.buy 9.37 €
Top
Thinking in Systems Donella Meadows / Knjiga Mehka
common.buy 17.34 €

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?