Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Logic for Programming, Artificial Intelligence, and Reasoning

15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Logic for Programming, Artificial Intelligence, and Reasoning Iliano Cervesato
Koda Libristo: 01571017
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 2008
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Pro... Celoten opis
? points 252 b
104.38 €
Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 11-15 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Sporťákovy pohádky z celého světa Vojtěch Bernatský / Knjiga Trda
common.buy 11.95 €
Esku alatt Steve Cavanagh / E-knjiga Adobe ePub DRM
common.buy 11.24 €
BATMAN: EL REGRESO DEL CABALLERO OSCURO (DC BLACK LABEL POCKET) MILLER / Knjiga Mehka
common.buy 14.28 €
NÁBOŽENSTVÍ V GLOBÁLNÍ OBČANSKÉ SPOLEČNOSTI Jiří Hanuš / Knjiga Knjiga
common.buy 6.27 €
Die Sachkultur des Mittelalters im Lichte der archaeologischen Funde Sabine Felgenhauer-Schmiedt / Knjiga Mehka
common.buy 81.27 €
EL BRUC : EL MEDI, LA HISTORIA, L'ART ESTRADA PLANELL / Knjiga Knjiga
common.buy 14.48 €
Pediatra de Atención Primaria del Servicio Aragonés de Salud. Temario común volumen 2 Editores / Knjiga Mehka
common.buy 40.93 €
Top
Bůh a božství v německém filosofickém myšlení Ladislav Benyovszky / Knjiga Mehka
common.buy 9.21 €
Annali Dell' Industria E Del Commercio, 1882: Il Corallo (1883) Giovanni Canestrini / Knjiga Mehka
common.buy 23.81 €

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008.§The 45 revised full papers presented together with 3 invited talks were carefully revised and selected from 153 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and their applications and are organized in topical sections on automata, linear arithmetic, verification knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Logic for Programming, Artificial Intelligence, and Reasoning
Avtor Iliano Cervesato, Helmut Veith, Andrei Voronkov
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2008
Število strani 714
EAN 9783540894384
ISBN 3540894381
Koda Libristo 01571017
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 1098
Mere 155 x 235 x 28

Kategorije

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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 > 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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Fortschritte der Chemie organischer Naturstoffe / Progress in the Chemistry of Organic Natural Products Y. Asakawa / Knjiga Mehka
common.buy 104.38 €
Picture of God Daniel Speck / Knjiga Mehka
common.buy 12.35 €
Monograph on Privately Illustrated Books Daniel M. (Daniel Melanctho Tredwell / Knjiga Trda
common.buy 37.39 €
Rick And Morty Presents Vol. 4 Alex Firer / Knjiga Mehka
common.buy 13.87 €
Samy the Star JULIE GASIOR / Knjiga Mehka
common.buy 11.85 €
Analysis of Pretest-Posttest Designs Peter L. Bonate / Knjiga Mehka
common.buy 69.11 €
The Capture And Execution Of John Brown: A Tale Of Martyrdom (1906) Elijah Avey / Knjiga Mehka
common.buy 18.43 €
European Glimpses and Glances J. M. Emerson / Knjiga Trda
common.buy 31.00 €
Synthetic Biology: A Very Short Introduction Jamie A. (British) Davies / Knjiga Mehka
common.buy 10.02 €
Conversion Ruined: The New Perspective and the Conversion of Sinners David H J Gay / Knjiga Mehka
common.buy 5.87 €
VITAL RECORDS OF WESTPORT, MASSACHUSETTS WESTPORT WESTPORT / Knjiga Mehka
common.buy 21.98 €
Inside the Gates of Doons Mirika Mayo Cornelius / Knjiga Mehka
common.buy 12.35 €
Religious Education as Practical Theology Essays in Honour of Professor Herman Lombaerts Graham Warren / Knjiga Mehka
common.buy 66.17 €
Grimm's Fairy Stories Jacob Grimm / Knjiga Mehka
common.buy 22.29 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?