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
Spoštovane stranke, zaradi tehničnih razlogov služba za pomoč strankam danes ni na voljo. Vaše poizvedbe bomo obravnavali naslednji delovni dan. Hvala za razumevanje.
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Automated Deduction - CADE-19

19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Automated Deduction - CADE-19 Franz Baader
Koda Libristo: 01562844
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, julij 2003
The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, hel... Celoten opis
? points 118 b
48.84 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Obesit? e riserva ovarica Manal Mohammed Ali / Knjiga Mehka
common.buy 33.57 €
A Era da Libertaç?o na LIGAO & O Rescaldo da Segunda Guerra Mundial 1944-1945 Marilou D. Tino / Knjiga Mehka
common.buy 36.90 €
CAMINAR SOBRE HIELO (+12 AÑOS) (ERIZONTE) VALLS / Knjiga Mehka
common.buy 15.36 €
brava veterinaria. Facciamo che ero Donata Quagliotti / Knjiga Trda
common.buy 19.31 €
Niño GARCIA MAÑA / Knjiga Mehka
common.buy 15.26 €
Einmal mit Alles Daniel Esswein / Knjiga Trda
common.buy 35.49 €
Videnia 1: Život Preblahoslavenej Panny Márie Anna Katarína Emmerichová / Knjiga Trda
common.buy 20.93 €
Ján Ondruš Básnické dielo Ján Ondruš / Knjiga Mehka
common.buy 9.50 €
Dřevěné kostky Zvířátka 2 kostky / Igra/Igrača Igrača
common.buy 5.35 €
LOS MEJORES DESTINOS DEL ROMÁNICO EN ESPAÑA JAIME COBREROS / Knjiga Trda
common.buy 20.12 €
Daltonismo-¿de qué color lo ves? Violeta Crespo / Knjiga Mehka
common.buy 12.63 €
So sparen Sie Geld, Ressourcen, Energie Götz Warnke / Knjiga Mehka
common.buy 14.35 €
Der Murks mit der Milch Max O. Bruker / Knjiga Mehka
common.buy 14.96 €
Kmalu
Lehrbuch Dieter Blohm / Knjiga Trda
common.buy 50.25 €
Norm, Person, Gesellschaft. Günther Jakobs / Knjiga Mehka
common.buy 31.24 €
Die uneheliche Mutterschaft im altösterreichischen Polizeirecht des 16. bis 18. Jahrhunderts, dargestellt am Tatbestand der Fornication. Egon Conrad Ellrichshausen / Knjiga Mehka
common.buy 53.39 €
Česko-slovenské vztahy 10 let po rozpadu federace Peter Kolesár / Knjiga binding.
common.buy 3.13 €
Dárkové krabičky ve tvaru hvězdy 6 kusů / Pisarniški material Pisarniški material
common.buy 6.06 €

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003.§The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions. All current aspects of automated deduction are discussed, ranging from theoretical and methodological issues to the presentation of new theorem provers and 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-19
Avtor Franz Baader
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2003
Število strani 512
EAN 9783540405597
ISBN 3540405593
Koda Libristo 01562844
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 1600
Mere 155 x 235 x 29

Kategorije

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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

Intelligent Strategies for Meta Multiple Criteria Decision Making Thomas Hanne / Knjiga Mehka
common.buy 97.38 €
The Art of Simpling: An Introduction to the Knowledge and Gathering of Plants William Coles / Knjiga Mehka
common.buy 24.67 €
Liturgy of the Church of England Explained and Vindicated, So as to Appear in Perfect Harmony with the Scriptures, and Very Far Distant from the Armin Augustus Toplady / Knjiga Mehka
common.buy 11.82 €
History of Cherry Valley. from 1740 to 1898. John Sawyer / Knjiga Mehka
common.buy 16.68 €
The Methodist Quarterly V5: A Journal Of Theological And General Literature (1871) Methodist Episcopal Church / Knjiga Mehka
common.buy 31.85 €
Technical Study of the Maintenance and Fattening of Lambs and Their Utilization of a Ration of Alfalfa Hay and Corn H H 1886-1966 Mitchell / Knjiga Trda
common.buy 25.58 €
Female Force: Women of Country Music - Dolly Parton, Carrie Underwood, Loretta Lynn, and Reba McEntire Michael Frizell / Knjiga Mehka
common.buy 18.30 €
Liberty Day October 12, 1918. Suggestions for Community Celebrations Henry Ezekiel Jackson / Knjiga Trda
common.buy 25.58 €
THE ELEMENTS OF MENTAL AND MORAL SCIENCE WILLIAM CH COUPLAND / Knjiga Trda
common.buy 30.94 €
Vigilante Witch Hunter Gary Turcotte / Knjiga Mehka
common.buy 21.13 €
Brave Men and Women Osgood E Fuller / Knjiga Mehka
common.buy 8.99 €
Church Reform Movement at Rome Charles R Conybeare / Knjiga Mehka
common.buy 11.01 €
Night of the Cat Richard Waltner / Knjiga Mehka
common.buy 19.31 €
Sarah's Story Danielle Aitken / Knjiga Mehka
common.buy 18.30 €
history of India Sir Roper Lethbridge / Knjiga Mehka
common.buy 19.51 €
Glorious Boy Aimee Liu / Knjiga Mehka
common.buy 15.26 €
Ghost Sonata Gary Reed / Knjiga Mehka
common.buy 10.00 €
Tree Tops Jim Corbett / Knjiga Mehka
common.buy 4.24 €
Empire of Hanging Swords R. R. Egal / Knjiga Trda
common.buy 26.49 €
Recent Topics on Prevention, Diagnosis, and Clinical Management of Cervical Cancer Daisuke Aoki / Knjiga Mehka
common.buy 95.16 €
Functional Foods and Nutraceuticals Aluko / Knjiga Trda
common.buy 80.90 €
Norfolk W A Dutt / Knjiga Mehka
common.buy 26.89 €
Comic Books as History Joseph Witek / Knjiga Mehka
common.buy 39.53 €
Empirico-Statistical Analysis of Narrative Material and its Applications to Historical Dating. Vol.1 A.T. Fomenko / Knjiga Trda
common.buy 97.38 €

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?