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.

Logic for Programming, Artificial Intelligence, and Reasoning

9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Logic for Programming, Artificial Intelligence, and Reasoning Matthias Baaz
Codul Libristo: 01555913
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octombrie 2002
This book constitutes the refereed proceedings of the 9th International Conference on Logic for Prog... Descrierea completă
? points 129 b
279.59 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Gold & Rainbows-The Warner Bros Years 1969-1978 Seals and Crofts / Audio Audio CD
common.buy 209.85 lei
CONTRE-NOIR MATTHIEU PECK / Carte Carte broșată
common.buy 131.57 lei
Egal was sich auch ändert, das Herz bleibt genau dasselbe Berman Vered / Carte Copertă tare
common.buy 80.25 lei
Leto tvojej nehy Juraj Kalnický / Carte Copertă tare
common.buy 17.37 lei
LES COQUILLAGES ET CE QU'ILS CACHENT Helen SCALES / Carte Carte
common.buy 89.10 lei
Knooking – pletení na háčku. Základní postupy krok za krokem Veronika Hugová / Carte Carte broșată
common.buy 51.10 lei
Maison-Dieu 257 - Les funérailles, entre tradition et modernité / Carte Carte broșată
common.buy 101.28 lei
Die Silbermeer-Saga (Band 2) - Die Fließende Karte Katharina Hartwell / Carte Copertă tare
common.buy 109.71 lei
Promenades A Chamouni Lutz-M / Carte Carte broșată
common.buy 80.25 lei
Etudes de la Nature. Tome 3 Henri Bernardin De Saint-Pierre / Carte Carte broșată
common.buy 160.20 lei
Mezi vilami Justin Quinn / Carte Copertă tare
common.buy 56.10 lei
Karma Tolstói / Carte Carte broșată
common.buy 57.66 lei
Bachiben Ane Babubhai Amricama: Gujarati Hasya Navalakathaa Kirit Bhakta / Carte Carte broșată
common.buy 61.82 lei

This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002.The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, etc.

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 Matthias Baaz, Andrei Voronkov
Limba engleză
Legare Carte - Carte broșată
Data publicării 2002
Număr pagini 470
EAN 9783540000105
ISBN 3540000100
Codul Libristo 01555913
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1490
Dimensiuni 155 x 235 x 27

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
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

Non Coding RNAs in Plants Volker A. Erdmann / Carte Carte broșată
common.buy 1 137.25 lei
Army of Shadows Joseph Kessel / Carte Carte broșată
common.buy 96.28 lei
Heaven, Earth, & Humankind William Wadsworth / Carte Copertă tare
common.buy 150.41 lei
Legacies of Great Men in World Soccer Kausik Bandyopadhyay / Carte Copertă tare
common.buy 799.46 lei
Papers by Command, Volume 88 Great Britain Parliament House of Comm / Carte Copertă tare
common.buy 278.14 lei
Curând
Skills-Based Health Education Mary Connolly / Carte Carte broșată
common.buy 785.19 lei
Ordnance Survey Memoirs of Ireland: Vol. 11: Parishes of Co. Londonderry III: 1831-5 Angelique Day / Carte Carte broșată
common.buy 87.33 lei
Learn Java for Android Development: Java 8 and Android 5 Edition Jeff Friesen / Carte Carte broșată
common.buy 155.82 lei
Family Tree Albany De Fonblanque / Carte Copertă tare
common.buy 189.66 lei
Frankia in Heavy Metals and Aromatic Compounds Bio-remediation Medhat Rehan / Carte Carte broșată
common.buy 276.78 lei
Life Less Throwaway Tara Button / Carte Carte broșată
common.buy 80.25 lei
NETWORKING 2012 Workshops Zdenek Becvar / Carte Carte broșată
common.buy 285.53 lei
Ice Kevin Tinto / Carte Carte broșată
common.buy 89.30 lei
H.I.T: Husband In Training: A Guide For Men Will Ag Martel / Carte Carte broșată
common.buy 34.24 lei
Chemistry: Theory and Practice BRUCE HORAK / Carte Copertă tare
common.buy 715.14 lei
Nursing Care and ECMO Chirine Mossadegh / Carte Carte broșată
common.buy 213.08 lei
Hymns for Brass: Conductor Hal Leonard Corp / Carte Carte broșată
common.buy 75.67 lei
Write Now Inga Dubay / Carte Carte broșată
common.buy 75.67 lei
Top
New Spring: Prequel to the Wheel of Time Robert Jordan / Carte Carte broșată
common.buy 47.04 lei
Expanding World Ayahuasca Diaspora Beatriz Caiuby Labate / Carte Carte broșată
common.buy 370.26 lei
Through Deserts And Oases Of Central Asia Ella Sykes / Carte Copertă tare
common.buy 251.91 lei
Curând
National Geographic Traveler Japan 7th Edition E07 / Carte Carte broșată
common.buy 136.36 lei
Speaking of Horror Darrell Schweitzer / Carte Carte broșată
common.buy 85.87 lei
Seed-borne plant virus diseases K. Subramanya Sastry / Carte Copertă tare
common.buy 853.48 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?