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 Reasoning

Limba englezăengleză
Carte Carte broșată
Carte Automated Reasoning Ulrich Furbach
Codul Libristo: 01562445
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, august 2006
Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2... Descrierea completă
? points 318 b
639 lei
În depozitul extern în cantități mici Expediem în 10-15 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

top
Velké logopedické pexeso 2 Ilona Eichlerová / Carte broșată
common.buy 25 lei
Spieltheorie fur Dummies Erwin Amann / Carte broșată
common.buy 83 lei
Mirai Nikki 06 Sakae Esuno / Carte broșată
common.buy 46 lei
Strafrechtliche und strafprozessuale Abhandlungen. Bd.1 Karl Binding / Carte broșată
common.buy 751 lei
Computer Performance Engineering Nigel Thomas / Carte broșată
common.buy 324 lei
Privacy and Health Care James M. Humber / Copertă tare
common.buy 639 lei
Environmental UV Radiation: Impact on Ecosystems and Human Health and Predictive Models Francesco Ghetti / Carte broșată
common.buy 639 lei
Dynamical Systems with Applications using Maple (TM) Stephen Lynch / Carte broșată
common.buy 525 lei
Frozen Rabbi Steve Stern / Carte broșată
common.buy 66 lei

Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006. The book presents 41 revised full research papers and 8 revised system descriptions, with 3 invited papers and a summary of a systems competition. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.

Informații despre carte

Titlu complet Automated Reasoning
Autor Ulrich Furbach, Natarajan Shankar
Limba engleză
Legare Carte - Carte broșată
Data publicării 2006
Număr pagini 688
EAN 9783540371878
ISBN 3540371877
Codul Libristo 01562445
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 2140
Dimensiuni 152 x 229 x 38

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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