A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Logic for Programming, Artificial Intelligence, and Reasoning

16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Logic for Programming, Artificial Intelligence, and Reasoning Edmund M. Clarke
Libristo kód: 01657129
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, január 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International... Teljes leírás
? points 136 b
20 261 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

La Sainte-Chapelle Paris NE Françoise Perrot / Könyv Kemény kötésű
common.buy 13 278 Ft
Maximilian Richter: Die Bibel in Hausandachten. Band 1 Maximilian Richter / Könyv Kemény kötésű
common.buy 67 978 Ft
Guia Completa Para Tu Volpino Italiano Acosta Julia Acosta / Könyv Puha kötésű
common.buy 6 013 Ft
Hans Von Bulow Marie von Bülow / Könyv Puha kötésű
common.buy 14 083 Ft
CANDYMAN - BRD ROSE Filmek DVD
common.buy 11 547 Ft
Handboek Praktijkvoering: Bouwstenen Voor de Huisartsgeneeskunde Fred Dijkers / Könyv Kemény kötésű
common.buy 33 662 Ft
I Love Winter (English Hindi Bilingual Book for Kids) Kidkiddos Books / Könyv Puha kötésű
common.buy 6 446 Ft
DIME QUE ME QUIERES AUNQUE SEA MENTIRA ROIG / Könyv Könyv
common.buy 9 759 Ft
CORPOS. AS OUTRAS VIDAS DO CADAVER COUTO-FERREIRA / Könyv Könyv
common.buy 7 773 Ft
Nederlandsk Flemming André Philip Ravn / Könyv Puha kötésű
common.buy 13 382 Ft
Dr. Lampe's Bienenzucht C.O. Lampe / Könyv Puha kötésű
common.buy 13 382 Ft
Rechnernetze Peter Schnupp / Könyv Kemény kötésű
common.buy 46 644 Ft
Magie und Aberglaube bei Cervantes Janina Klinck / Könyv Puha kötésű
common.buy 15 876 Ft
Das Stadtlogo als Stadtmarketing-Instrument Daniel Gromotka / Könyv Puha kötésű
common.buy 18 040 Ft
Lehrbuch der Lacktechnologie Thomas Brock / Könyv Kemény kötésű
common.buy 80 931 Ft
Santa Valentina tiene un plan Regina Román Gómez / Könyv Puha kötésű
common.buy 8 789 Ft
La fiducía sucesoria secreta Sergio Cámara Lapuente / Könyv Puha kötésű
common.buy 36 259 Ft
Le Salon De Lady Betty: Moeurs Anglaises, Volume 2 Marceline Desbordes-Valmore / Könyv Puha kötésű
common.buy 10 102 Ft
Excursions Historiques Et Philosophiques A Travers Le Moyen Age (Ed.1888) Charles Jourdain / Könyv Puha kötésű
common.buy 13 533 Ft

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, which§took place in Dakar, Senegal, in April/May 2010.§The 27 revised full papers and 9 revised short papers presented together with 1 invited talk were carefully revised and selected from 47 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and deal with logic programming, logic-based program manipulation, formal methods, and various kinds of AI logics. Subjects covered range from theoretical aspects to various applications such as automata, linear arithmetic, verification, knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Logic for Programming, Artificial Intelligence, and Reasoning
Szerző Edmund M. Clarke, Andrei Voronkov
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2011
Oldalszám 517
EAN 9783642175107
ISBN 3642175104
Libristo kód 01657129
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 791
Méretek 155 x 235 x 29

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Algoritmusok és adatszerkezetek
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

When She's Bad, I'm Badder: Jiao & Dreek, A Crazy Love Story Tina J / Könyv Puha kötésű
common.buy 4 743 Ft
Dirty Little Secrets of World War II: Military Information No One Told You... James F. Dunningan / Könyv Puha kötésű
common.buy 6 757 Ft
Monroe Township and Jamesburg John D. Katerba / Könyv Puha kötésű
common.buy 7 787 Ft
History of the Life of Thomas Ellwood Charles George Crump / Könyv Kemény kötésű
common.buy 13 057 Ft
America's Founding and the Struggle over Economic Inequality Clement Fatovic / Könyv Kemény kötésű
common.buy 19 141 Ft
Characterisation of Women in Maxim Gorky's Novel "Mother". A Marxist Feminist Perspective Javed Akhtar / Könyv Puha kötésű
common.buy 6 385 Ft
On the Boardwalk - Hometown Gallery 1000pc: One the Boardwalk Masterpieces Inc / Könyv binding.
common.buy 5 265 Ft
Where The States Stand On Civil Rights Richard Barnett / Könyv Puha kötésű
common.buy 10 474 Ft
Die Jäger: Ein ländliches Sittengemälde in fünf Aufzügen August Wilhelm Iffland / Könyv Puha kötésű
common.buy 4 743 Ft
Leviathan Thomas Hobbes / Könyv Puha kötésű
common.buy 7 641 Ft
Ensam Jonathon Robert Bone / Könyv Puha kötésű
common.buy 3 341 Ft
The Naval History of the United States Willis J Abbot / Könyv Puha kötésű
common.buy 13 175 Ft
Are MicroRNAs Promising Diagnostic Markers in Cancer Eman Refaat / Könyv Puha kötésű
common.buy 12 681 Ft
REPORTS OF CASES ARGUED & DETE New York (State) Supreme Court / Könyv Puha kötésű
common.buy 11 937 Ft
Ratatouille Brad Bird / Filmek DVD
common.buy 3 835 Ft
Perfect Contractor in Russian Hill Rosanna Brand / Könyv Kemény kötésű
common.buy 12 878 Ft
Super Nutrition Terry McIlroy / Könyv Puha kötésű
common.buy 9 923 Ft
Young Adventure Stephen Vincent Benet / Könyv Puha kötésű
common.buy 5 326 Ft
Adult Coloring Book: Christmas Coloring Pages with Animal, Creative Art Activities for Children, kids and Adults J. K. Mimo / Könyv Puha kötésű
common.buy 2 983 Ft
Council Government Versus Mayor Government (1900) Edward Dana Durand / Könyv Puha kötésű
common.buy 7 896 Ft
Language Exercises (1889) Robert Comfort Metcalf / Könyv Puha kötésű
common.buy 10 832 Ft
CBD Oil for Health James Coley / Könyv Kemény kötésű
common.buy 7 896 Ft
Toplistás
Don't Diet. Be Happy. Katherine McIntosh / Könyv Puha kötésű
common.buy 4 790 Ft
Good Soldier Ford Madox Ford / E-könyv Adobe ePub DRM
common.buy 1 793 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?