Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Logic for Programming, Artificial Intelligence, and Reasoning

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

Język AngielskiAngielski
Książka Miękka
Książka Logic for Programming, Artificial Intelligence, and Reasoning Edmund M. Clarke
Kod Libristo: 01657129
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, styczeń 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International... Cały opis
? points 125 b
218.80 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

CANDYMAN - BRD ROSE Wideo DVD
common.buy 135.67 zł
La Sainte-Chapelle Paris NE Françoise Perrot / Książka Twarda
common.buy 155.93 zł
I Love Winter (English Hindi Bilingual Book for Kids) Kidkiddos Books / Książka Miękka
common.buy 70.19 zł
Hans Von Bulow Marie von Bülow / Książka Miękka
common.buy 151.01 zł
CORPOS. AS OUTRAS VIDAS DO CADAVER COUTO-FERREIRA / Książka Książka
common.buy 91.34 zł
Rechnernetze Peter Schnupp / Książka Twarda
common.buy 504.80 zł
Dr. Lampe's Bienenzucht C.O. Lampe / Książka Miękka
common.buy 143.49 zł
Lehrbuch der Lacktechnologie Thomas Brock / Książka Twarda
common.buy 872.23 zł
Santa Valentina tiene un plan Regina Román Gómez / Książka Miękka
common.buy 94.65 zł
La fiducía sucesoria secreta Sergio Cámara Lapuente / Książka Miękka
common.buy 425.48 zł
Le Salon De Lady Betty: Moeurs Anglaises, Volume 2 Marceline Desbordes-Valmore / Książka Miękka
common.buy 109.90 zł
Excursions Historiques Et Philosophiques A Travers Le Moyen Age (Ed.1888) Charles Jourdain / Książka Miękka
common.buy 161.34 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Logic for Programming, Artificial Intelligence, and Reasoning
Autor Edmund M. Clarke, Andrei Voronkov
Język Angielski
Oprawa Książka - Miękka
Data wydania 2011
Liczba stron 517
EAN 9783642175107
ISBN 3642175104
Kod Libristo 01657129
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 791
Wymiary 155 x 235 x 29

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Dirty Little Secrets of World War II: Military Information No One Told You... James F. Dunningan / Książka Miękka
common.buy 72.59 zł
Logic for Applications Anil Nerode / Książka Miękka
common.buy 385.27 zł
Monroe Township and Jamesburg John D. Katerba / Książka Miękka
common.buy 88.34 zł
History of the Life of Thomas Ellwood Charles George Crump / Książka Twarda
common.buy 142.09 zł
REPORTS OF CASES ARGUED & DETE New York (State) Supreme Court / Książka Miękka
common.buy 130.05 zł
Characterisation of Women in Maxim Gorky's Novel "Mother". A Marxist Feminist Perspective Javed Akhtar / Książka Miękka
common.buy 68.58 zł
On the Boardwalk - Hometown Gallery 1000pc: One the Boardwalk Masterpieces Inc / Książka binding.
common.buy 56.15 zł
Where The States Stand On Civil Rights Richard Barnett / Książka Miękka
common.buy 113.91 zł
Die Jäger: Ein ländliches Sittengemälde in fünf Aufzügen August Wilhelm Iffland / Książka Miękka
common.buy 51.43 zł
TOP
Leviathan Thomas Hobbes / Książka Miękka
common.buy 82.82 zł
Ensam Jonathon Robert Bone / Książka Miękka
common.buy 36.19 zł
The Naval History of the United States Willis J Abbot / Książka Miękka
common.buy 142.79 zł
Are MicroRNAs Promising Diagnostic Markers in Cancer Eman Refaat / Książka Miękka
common.buy 135.97 zł
When She's Bad, I'm Badder: Jiao & Dreek, A Crazy Love Story Tina J / Książka Miękka
common.buy 51.43 zł
Ratatouille Brad Bird / Wideo DVD
common.buy 42.51 zł
Super Nutrition Terry McIlroy / Książka Miękka
common.buy 106.59 zł
Council Government Versus Mayor Government (1900) Edward Dana Durand / Książka Miękka
common.buy 63.67 zł
Language Exercises (1889) Robert Comfort Metcalf / Książka Miękka
common.buy 117.92 zł
TOP
Don't Diet. Be Happy. Katherine McIntosh / Książka Miękka
common.buy 51.13 zł
Healing your wounded inner child Stella Nash / Książka Miękka
common.buy 65.97 zł
Algebraic Fantasies and Realistic Romances Brian Stableford / Książka Miękka
common.buy 67.88 zł
Form, Program, and Metaphor in the Music of Berlioz Stephen Rodgers / Książka Twarda
common.buy 564.87 zł
Elementary Theory of L-functions and Eisenstein Series Haruzo Hida / Książka Miękka
common.buy 434.30 zł
Invariant Subspaces of Matrices with Applications Israel GohbergPeter LancasterLeiba Rodman / Książka Miękka
common.buy 640.28 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?