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 Cargus 28.00 lei Easybox 20.00 lei FAN 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.

Logic for Programming, Artificial Intelligence, and Reasoning

8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Logic for Programming, Artificial Intelligence, and Reasoning Robert Nieuwenhuis
Codul Libristo: 01563961
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, noiembrie 2001
This book constitutes the refereed proceedings of the 8th International Conference on Logic for Prog... Descrierea completă
? points 263 b
570.37 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Bildung im Alter - Theoretische Grundlagen und eine empirische Untersuchung einer Wohnanlage fur altersgerechtes Wohnen Daniel Werner / Carte Carte broșată
common.buy 213.19 lei
Die Küstencrew (Band 1) - Das Gold der Walfänger Nathalie Kranich / Carte Copertă tare
common.buy 75.37 lei
Usinage par décharge électrique des composites à matrice métallique en aluminium Jatinder Kumar / Carte Carte broșată
common.buy 326.52 lei
Tieronisch Eulen (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo / Calendar / Agendă Calendar
common.buy 157.83 lei

This book constitutes the refereed proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2001, held in Havana, Cuba, in December 2001.The 40 revised full papers presented together with an invited paper were carefully reviewed and selected from 112 submissions. The book offers topical sections on verification, guarded logic, agents, automated theorem proving, non-classical logics, types, experimental aspects, foundations of logic, CSP and SAT, nonmonotonic reasoning, semantics, termination, knowledge-based systems, analysis of logic programs, databases and knowledge bases, and program analysis and proof planning.

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 Logic for Programming, Artificial Intelligence, and Reasoning
Autor Robert Nieuwenhuis, Andrei Voronkov
Limba engleză
Legare Carte - Carte broșată
Data publicării 2001
Număr pagini 741
EAN 9783540429579
ISBN 3540429573
Codul Libristo 01563961
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 2310
Dimensiuni 155 x 233 x 41

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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
Computing & Information Technology > Computer science > Artificial intelligence
Medicine & Nursing > Medicine: general issues
Computing & Information Technology > Operating systems
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

Dopamine in the CNS II Gaetano Di Chiara / Carte Carte broșată
common.buy 3 129.63 lei
Neurohumoral Regulation of Coronary Flow W. H. van Gilst / Carte Copertă tare
common.buy 570.37 lei
Optical Fiber Fusion Splicing A. D. Yablon / Carte Copertă tare
common.buy 1 718.43 lei
Modeling Coastal And Offshore Processes Phil Dyke / Carte Carte broșată
common.buy 499.58 lei
Towards an Aisthetics of the Victorian Novel Nadine Bohm-Schnitker / Carte Carte broșată
common.buy 361.44 lei
University of the State of New York Bulletin Of University of the State of New York / Carte Carte broșată
common.buy 160.86 lei
Manual of General Pathology for Students Sidney Martin / Carte Copertă tare
common.buy 216.01 lei
Top
KJV My Creative Bible Pink Lux-Leather Christian Art Gifts / Carte Copertă tare
common.buy 173.47 lei
Life Of William Caxton William Stevenson / Carte Copertă tare
common.buy 176.49 lei
Blood and Daring: How Canada Fought the American Civil War and Forged a Nation John Boyko / Carte Carte broșată
common.buy 99.87 lei
Norfolk W A Dutt / Carte Carte broșată
common.buy 141.15 lei
assessment of Woreda Capactiy Telaye Fikadu Mulubiran / Carte Carte broșată
common.buy 272.72 lei
Conclog: A Methodological Approach to Concurrent Logic Programming J.-M. Jacquet / Carte Carte broșată
common.buy 601.65 lei
Structure and Synthesis of PID Controllers Aniruddha Datta / Carte Carte broșată
common.buy 854.78 lei
Extending Educational Change Andy Hargreaves / Carte Carte broșată
common.buy 285.96 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?