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 FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

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
284.23 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Videnia 1: Život Preblahoslavenej Panny Márie Anna Katarína Emmerichová / Carte Copertă tare
common.buy 121.44 lei
brava veterinaria. Facciamo che ero Donata Quagliotti / Carte Copertă tare
common.buy 112.84 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 216.67 lei
Obesit? e riserva ovarica Manal Mohammed Ali / Carte Carte broșată
common.buy 197.19 lei
CAMINAR SOBRE HIELO (+12 AÑOS) (ERIZONTE) VALLS / Carte Carte broșată
common.buy 87.55 lei
Niño GARCIA MAÑA / Carte Carte broșată
common.buy 88.07 lei
Einmal mit Alles Daniel Esswein / Carte Copertă tare
common.buy 209.73 lei
Ján Ondruš Básnické dielo Ján Ondruš / Carte Carte broșată
common.buy 57.19 lei
Dřevěné kostky Zvířátka 2 kostky / Joc / Jucărie Jucărie
common.buy 30.87 lei
LOS MEJORES DESTINOS DEL ROMÁNICO EN ESPAÑA JAIME COBREROS / Carte Copertă tare
common.buy 124.96 lei
Daltonismo-¿de qué color lo ves? Violeta Crespo / Carte Carte broșată
common.buy 72.73 lei
Der Murks mit der Milch Max O. Bruker / Carte Carte broșată
common.buy 88.49 lei
Curând
Lehrbuch Dieter Blohm / Carte Copertă tare
common.buy 290.45 lei
Norm, Person, Gesellschaft. Günther Jakobs / Carte Carte broșată
common.buy 156.26 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 259.78 lei
Česko-slovenské vztahy 10 let po rozpadu federace Peter Kolesár / Carte binding.
common.buy 18.75 lei
Dárkové krabičky ve tvaru hvězdy 6 kusů / Articole de papetărie Articole de papetărie
common.buy 37.29 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 566.92 lei
Teaching Ministry of the Church James D. Smart / Carte Carte broșată
common.buy 161.02 lei
Glorious Boy Aimee Liu / Carte Carte broșată
common.buy 89.73 lei
Ghost Sonata Gary Reed / Carte Carte broșată
common.buy 59.16 lei
Night of the Cat Richard Waltner / Carte Carte broșată
common.buy 111.39 lei
Church Reform Movement at Rome Charles R Conybeare / Carte Carte broșată
common.buy 64.76 lei
Brave Men and Women Osgood E Fuller / Carte Carte broșată
common.buy 51.80 lei
The Art of Simpling: An Introduction to the Knowledge and Gathering of Plants William Coles / Carte Carte broșată
common.buy 142.16 lei
THE ELEMENTS OF MENTAL AND MORAL SCIENCE WILLIAM CH COUPLAND / Carte Copertă tare
common.buy 178.23 lei
Liberty Day October 12, 1918. Suggestions for Community Celebrations Henry Ezekiel Jackson / Carte Copertă tare
common.buy 147.35 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 147.35 lei
Vigilante Witch Hunter Gary Turcotte / Carte Carte broșată
common.buy 121.44 lei
History of Cherry Valley. from 1740 to 1898. John Sawyer / Carte Carte broșată
common.buy 98.85 lei
Tree Tops Jim Corbett / Carte Carte broșată
common.buy 25.27 lei
Top
Art of Frozen Charles Solomon / Carte Copertă tare
common.buy 176.46 lei
DNA Methylation, Epigenetics and Metastasis M. Esteller / Carte Copertă tare
common.buy 1 183.19 lei
Empirico-Statistical Analysis of Narrative Material and its Applications to Historical Dating. Vol.1 A.T. Fomenko / Carte Copertă tare
common.buy 566.92 lei
Comic Books as History Joseph Witek / Carte Carte broșată
common.buy 194.60 lei
Norfolk W A Dutt / Carte Carte broșată
common.buy 140.30 lei
Functional Foods and Nutraceuticals Aluko / Carte Copertă tare
common.buy 472.11 lei
Iki and The Ocean Protectors Martha Johnston / Carte Copertă tare
common.buy 137.19 lei
Realizing Beloved Community Allen K. Shin / E-book Adobe ePub DRM
common.buy 168.07 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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?