Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Automated Deduction - CADE-19

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

Limba englezăengleză
Carte Carte broșată
Carte Automated Deduction - CADE-19 Franz Baader
Codul Libristo: 01562844
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iulie 2003
The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, hel... Descrierea completă
? points 132 b
286.15 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

La 'Ndrangheta Forgione / Carte Carte broșată
common.buy 82.30 lei
Einmal mit Alles Daniel Esswein / Carte Copertă tare
common.buy 211.14 lei
Videnia 1: Život Preblahoslavenej Panny Márie Anna Katarína Emmerichová / Carte Copertă tare
common.buy 122.26 lei
Niño GARCIA MAÑA / Carte Carte broșată
common.buy 87.93 lei
brava veterinaria. Facciamo che ero Donata Quagliotti / Carte Copertă tare
common.buy 113.60 lei
A Era da Libertaç?o na LIGAO & O Rescaldo da Segunda Guerra Mundial 1944-1945 Marilou D. Tino / Carte Carte broșată
common.buy 218.13 lei
Obesit? e riserva ovarica Manal Mohammed Ali / Carte Carte broșată
common.buy 198.52 lei
CAMINAR SOBRE HIELO (+12 AÑOS) (ERIZONTE) VALLS / Carte Carte broșată
common.buy 87.73 lei
Ján Ondruš Básnické dielo Ján Ondruš / Carte Carte broșată
common.buy 56.43 lei
La Revolución Mexicana Luis Garfias / Carte Carte broșată
common.buy 74.48 lei
Dřevěné kostky Zvířátka 2 kostky / Joc / Jucărie Jucărie
common.buy 31.08 lei
LOS MEJORES DESTINOS DEL ROMÁNICO EN ESPAÑA JAIME COBREROS / Carte Copertă tare
common.buy 135.30 lei
Daltonismo-¿de qué color lo ves? Violeta Crespo / Carte Carte broșată
common.buy 72.60 lei
El barrufet Financer Peyo / Carte Carte broșată
common.buy 84.70 lei
So sparen Sie Geld, Ressourcen, Energie Götz Warnke / Carte Carte broșată
common.buy 84.91 lei
Der Murks mit der Milch Max O. Bruker / Carte Carte broșată
common.buy 89.08 lei
Curând
Lehrbuch Dieter Blohm / Carte Copertă tare
common.buy 291.16 lei
Propaganda der Weimarer Republik am Beispiel kommunistischer Agitation durch Zeitung und Plakat Julia Marg / Carte Carte broșată
common.buy 134.25 lei
Norm, Person, Gesellschaft. Günther Jakobs / Carte Carte broșată
common.buy 183.39 lei
Die uneheliche Mutterschaft im altösterreichischen Polizeirecht des 16. bis 18. Jahrhunderts, dargestellt am Tatbestand der Fornication. Egon Conrad Ellrichshausen / Carte Carte broșată
common.buy 313.69 lei
Česko-slovenské vztahy 10 let po rozpadu federace Peter Kolesár / Carte binding.
common.buy 18.87 lei
Dárkové krabičky ve tvaru hvězdy 6 kusů / Articole de papetărie Articole de papetărie
common.buy 37.55 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Automated Deduction - CADE-19
Autor Franz Baader
Limba engleză
Legare Carte - Carte broșată
Data publicării 2003
Număr pagini 512
EAN 9783540405597
ISBN 3540405593
Codul Libristo 01562844
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1600
Dimensiuni 155 x 235 x 29

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Intelligent Strategies for Meta Multiple Criteria Decision Making Thomas Hanne / Carte Carte broșată
common.buy 570.74 lei
history of India Sir Roper Lethbridge / Carte Carte broșată
common.buy 115.16 lei
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 / Carte Carte broșată
common.buy 70.83 lei
History of Cherry Valley. from 1740 to 1898. John Sawyer / Carte Carte broșată
common.buy 99.51 lei
Vigilante Witch Hunter Gary Turcotte / Carte Carte broșată
common.buy 122.26 lei
The Methodist Quarterly V5: A Journal Of Theological And General Literature (1871) Methodist Episcopal Church / Carte Carte broșată
common.buy 184.85 lei
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 / Carte Copertă tare
common.buy 148.34 lei
We Will Never Forget LENNY POLLARA / Carte Carte broșată
common.buy 75.42 lei
Female Force: Women of Country Music - Dolly Parton, Carrie Underwood, Loretta Lynn, and Reba McEntire Michael Frizell / Carte Carte broșată
common.buy 106.61 lei
Glorious Boy Aimee Liu / Carte Carte broșată
common.buy 95.34 lei
Essays on International Law and Organization Leo Gross / Carte Carte broșată
common.buy 286.15 lei
Liberty Day October 12, 1918. Suggestions for Community Celebrations Henry Ezekiel Jackson / Carte Copertă tare
common.buy 148.34 lei
THE ELEMENTS OF MENTAL AND MORAL SCIENCE WILLIAM CH COUPLAND / Carte Copertă tare
common.buy 179.43 lei
The Art of Simpling: An Introduction to the Knowledge and Gathering of Plants William Coles / Carte Carte broșată
common.buy 143.12 lei
Brave Men and Women Osgood E Fuller / Carte Carte broșată
common.buy 52.15 lei
Church Reform Movement at Rome Charles R Conybeare / Carte Carte broșată
common.buy 65.19 lei
The Work Of God In Italy: Detailing The Revival And Spread Of Evangelical Truth In That Kingdom (1862) William Owen / Carte Carte broșată
common.buy 163.99 lei
Night of the Cat Richard Waltner / Carte Carte broșată
common.buy 112.14 lei
Sarah's Story Danielle Aitken / Carte Carte broșată
common.buy 108.80 lei
Teaching Ministry of the Church James D. Smart / Carte Carte broșată
common.buy 162.11 lei
Empire of Hanging Swords R. R. Egal / Carte Copertă tare
common.buy 153.55 lei
Recent Topics on Prevention, Diagnosis, and Clinical Management of Cervical Cancer Daisuke Aoki / Carte Carte broșată
common.buy 558.95 lei
Functional Foods and Nutraceuticals Aluko / Carte Copertă tare
common.buy 475.29 lei
Norfolk W A Dutt / Carte Carte broșată
common.buy 141.24 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo