Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Logic for Programming, Artificial Intelligence, and Reasoning

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logic for Programming, Artificial Intelligence, and Reasoning Edmund M. Clarke
Libristo kód: 01657129
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, leden 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

CANDYMAN - BRD ROSE Video DVD
common.buy 775 Kč
La Sainte-Chapelle Paris NE Françoise Perrot / Kniha Pevná
common.buy 891 Kč
I Love Winter (English Hindi Bilingual Book for Kids) Kidkiddos Books / Kniha Brožovaná
common.buy 381 Kč
Hans Von Bulow Marie von Bülow / Kniha Brožovaná
common.buy 813 Kč
CORPOS. AS OUTRAS VIDAS DO CADAVER COUTO-FERREIRA / Kniha Kniha
common.buy 522 Kč
Rechnernetze Peter Schnupp / Kniha Pevná
common.buy 2 732 Kč
Dr. Lampe's Bienenzucht C.O. Lampe / Kniha Brožovaná
common.buy 772 Kč
Lehrbuch der Lacktechnologie Thomas Brock / Kniha Pevná
common.buy 4 707 Kč
Santa Valentina tiene un plan Regina Román Gómez / Kniha Brožovaná
common.buy 511 Kč
La fiducía sucesoria secreta Sergio Cámara Lapuente / Kniha Brožovaná
common.buy 2 431 Kč
Le Salon De Lady Betty: Moeurs Anglaises, Volume 2 Marceline Desbordes-Valmore / Kniha Brožovaná
common.buy 598 Kč
Excursions Historiques Et Philosophiques A Travers Le Moyen Age (Ed.1888) Charles Jourdain / Kniha Brožovaná
common.buy 880 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Logic for Programming, Artificial Intelligence, and Reasoning
Autor Edmund M. Clarke, Andrei Voronkov
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2011
Počet stran 517
EAN 9783642175107
ISBN 3642175104
Libristo kód 01657129
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 791
Rozměry 155 x 235 x 29

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Dirty Little Secrets of World War II: Military Information No One Told You... James F. Dunningan / Kniha Brožovaná
common.buy 391 Kč
Logic for Applications Anil Nerode / Kniha Brožovaná
common.buy 2 201 Kč
Monroe Township and Jamesburg John D. Katerba / Kniha Brožovaná
common.buy 474 Kč
History of the Life of Thomas Ellwood Charles George Crump / Kniha Pevná
common.buy 772 Kč
REPORTS OF CASES ARGUED & DETE New York (State) Supreme Court / Kniha Brožovaná
common.buy 707 Kč
Characterisation of Women in Maxim Gorky's Novel "Mother". A Marxist Feminist Perspective Javed Akhtar / Kniha Brožovaná
common.buy 369 Kč
On the Boardwalk - Hometown Gallery 1000pc: One the Boardwalk Masterpieces Inc / Kniha binding.
common.buy 300 Kč
Where The States Stand On Civil Rights Richard Barnett / Kniha Brožovaná
common.buy 619 Kč
Die Jäger: Ein ländliches Sittengemälde in fünf Aufzügen August Wilhelm Iffland / Kniha Brožovaná
common.buy 279 Kč
Top
Leviathan Thomas Hobbes / Kniha Brožovaná
common.buy 437 Kč
Ensam Jonathon Robert Bone / Kniha Brožovaná
common.buy 196 Kč
The Naval History of the United States Willis J Abbot / Kniha Brožovaná
common.buy 775 Kč
Are MicroRNAs Promising Diagnostic Markers in Cancer Eman Refaat / Kniha Brožovaná
common.buy 732 Kč
When She's Bad, I'm Badder: Jiao & Dreek, A Crazy Love Story Tina J / Kniha Brožovaná
common.buy 279 Kč
Ratatouille Brad Bird / Video DVD
common.buy 230 Kč
Super Nutrition Terry McIlroy / Kniha Brožovaná
common.buy 574 Kč
Council Government Versus Mayor Government (1900) Edward Dana Durand / Kniha Brožovaná
common.buy 347 Kč
Language Exercises (1889) Robert Comfort Metcalf / Kniha Brožovaná
common.buy 641 Kč
Top
Don't Diet. Be Happy. Katherine McIntosh / Kniha Brožovaná
common.buy 274 Kč
Healing your wounded inner child Stella Nash / Kniha Brožovaná
common.buy 359 Kč
Algebraic Fantasies and Realistic Romances Brian Stableford / Kniha Brožovaná
common.buy 370 Kč
Form, Program, and Metaphor in the Music of Berlioz Stephen Rodgers / Kniha Pevná
common.buy 3 078 Kč
Elementary Theory of L-functions and Eisenstein Series Haruzo Hida / Kniha Brožovaná
common.buy 2 481 Kč
Invariant Subspaces of Matrices with Applications Israel GohbergPeter LancasterLeiba Rodman / Kniha Brožovaná
common.buy 3 658 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?