phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Automated Deduction - CADE-25

Limba englezăengleză
Carte Carte broșată
Carte Automated Deduction - CADE-25 Amy P. Felty
Codul Libristo: 09366255
Editura Springer International Publishing AG, iulie 2015
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, C... Descrierea completă
? points 161 b
321 lei
În depozitul extern în cantități mici Expediem în 12-15 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Michael Aaron Piano Course Lessons Michael Aaron / Carte broșată
common.buy 48 lei
Adventure Time - A Totally Math Poster Collection Pendleton Ward / Carte broșată
common.buy 98 lei
Campside Guide to Dutch Oven Cooking Paul Kautz / Carte broșată
common.buy 68 lei
Bread of Heaven Athena M Hodges / Carte broșată
common.buy 90 lei
Doerchlauchting Fritz Reuter / Carte broșată
common.buy 159 lei
China Sea Directory. [with] ADMIRALTY HYDROGR. D / Copertă tare
common.buy 221 lei
Christliches Familienstellen Paul Imhof / Carte broșată
common.buy 112 lei
Trolls. ?abraza, Baila Y Canta! / Dance! Hug! Sing! (Dreamworks) Rachel Chlebowski / Carte broșată
common.buy 36 lei
Dankbarkeit macht glücklich Ursula Richard / Carte broșată
common.buy 46 lei
curând
Opcit at Large John Barr / Carte broșată
common.buy 71 lei
Dio C'e Romeo Mannarino / Copertă tare
common.buy 150 lei

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.§§The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.§

Informații despre carte

Titlu complet Automated Deduction - CADE-25
Autor Amy P. Felty, Aart Middeldorp
Limba engleză
Legare Carte - Carte broșată
Data publicării 2015
Număr pagini 640
EAN 9783319214009
ISBN 3319214004
Codul Libristo 09366255
Editura Springer International Publishing AG
Greutatea 9942
Dimensiuni 155 x 235 x 33

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Digital lifestyle > Internet guides & online services > Internet searching
Computing & Information Technology > Computer science > Artificial intelligence > Pattern recognition
Computing & Information Technology > Computer science > Artificial intelligence > Computer vision
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Databases > Information retrieval
Computing & Information Technology > Computer science > Image processing
Computing & Information Technology > Graphical & digital media applications
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

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