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 Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Automated Reasoning

8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Automated Reasoning Nicola Olivetti
Codul Libristo: 10929148
Editura Springer International Publishing AG, iunie 2016
This book constitutes the refereed proceedings of the 8th International Joint Conference on Automate... Descrierea completă
? points 210 b
455.83 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 Sorbonne entre en guerre de religion Amalou / Carte Carte broșată
common.buy 465.82 lei
Siquirres, Canton Centenario Quince Duncan / Carte Carte broșată
common.buy 267.52 lei
Bastard Jaroslav Mostecký / Carte Copertă tare
common.buy 90.87 lei
Trefl Dřevěná vkládačka Pod vodou / Joc / Jucărie Jucărie
common.buy 37.67 lei
POLICIA NACIONAL. ESCALA BASICA. TEMARIO 1 / Carte Carte broșată
common.buy 295.21 lei
Top
Coloriages Mystères Trompe l'oeil tome 3 Eugénie Varone / Carte Carte broșată
common.buy 113.35 lei
Ma mare, una època, uns costums, un testimoni Colom Calafat / Carte Carte broșată
common.buy 138.75 lei
I Love Autumn (English Turkish Bilingual Book for Kids) Kidkiddos Books / Carte Copertă tare
common.buy 143.02 lei
Oversigt Over Det Kongelige Danske Videnskabernes Selskabs Forhandlinger... Kongelige Danske Videnskabernes Selskab / Carte Carte broșată
common.buy 131.99 lei
Nous Le Sommes Tous, Ou l'Egoisme. Tome 1 Pigault-Lebrun / Carte Carte broșată
common.buy 121.99 lei

This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods).§§The 26 revised full research papers and 9 system descriptions presented together with 4 invited talks were carefully reviewed and selected from 79 submissions. The papers have been organized in topical sections on satisfiability of Boolean formulas, satisfiability modulo theory, rewriting, arithmetic reasoning and mechanizing mathematics, first-order logic and proof theory, first-order theorem proving, higher-order theorem proving, modal and temporal logics, non-classical logics, and verification.§§

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 Reasoning
Autor Nicola Olivetti, Ashish Tiwari
Limba engleză
Legare Carte - Carte broșată
Data publicării 2016
Număr pagini 580
EAN 9783319402284
ISBN 9783319402284
Codul Libristo 10929148
Editura Springer International Publishing AG
Greutatea 8949
Dimensiuni 155 x 235 x 35

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
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

Grammar and Beyond Level 4 Student's Book B and Writing Skills Interactive Pack Hilary Hodge / Carte Copertă tare
common.buy 252.74 lei
Hiddushim Arthur Green / Carte Copertă tare
common.buy 231.29 lei
Crock Pot Chicken Recipes Cookbook Emma Ray / Carte Carte broșată
common.buy 104.09 lei
History of the Fourth Illinois Volunteers in Their Relation to the Spanish-American War Skinner John R. Skinner / Carte Carte broșată
common.buy 158.43 lei
A CENTENNIAL DISCOURSE DELIVERED SEPTEMB SAMUEL F. 18 CLARKE / Carte Copertă tare
common.buy 163.63 lei
Connect the Dots Activity Book for Kids Speedy Publishing LLC / Carte Carte broșată
common.buy 71.71 lei
Story and Reality Robert P. Roth / Carte Carte broșată
common.buy 120.74 lei
Literary Passages Close Reading Grade 4 Marcia Miller / Carte Carte broșată
common.buy 63.90 lei
University of California Publications in American Archaeology and Ethnology Volume 3 University of California (1868-1952) / Carte Copertă tare
common.buy 189.66 lei
Heaven Paul Backholer / Carte Carte broșată
common.buy 80.67 lei
Ordinary Life H Eugene Kessler / Carte Carte broșată
common.buy 106.38 lei
Copper Mine Bruce Corneille Switzer / Carte Copertă tare
common.buy 165.82 lei
Supreme Court Reborn William E. Leuchtenburg / Carte Carte broșată
common.buy 143.54 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?