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

8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Logic for Programming, Artificial Intelligence, and Reasoning Robert Nieuwenhuis
Kod Libristo: 01563961
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2001
This book constitutes the refereed proceedings of the 8th International Conference on Logic for Prog... Cały opis
? points 249 b
436.90 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Bildung im Alter - Theoretische Grundlagen und eine empirische Untersuchung einer Wohnanlage fur altersgerechtes Wohnen Daniel Werner / Książka Miękka
common.buy 162.70 zł
Repertorium fur Kunstwissenschaft. Band 29 FRANZ SCHESTAG / Książka Twarda
common.buy 799.78 zł
Die Küstencrew (Band 1) - Das Gold der Walfänger Nathalie Kranich / Książka Twarda
common.buy 57.54 zł
Usinage par décharge électrique des composites à matrice métallique en aluminium Jatinder Kumar / Książka Miękka
common.buy 249.08 zł
Tieronisch Eulen (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo / Kalendarz/Pamiętnik Kalendarz
common.buy 120.42 zł

This book constitutes the refereed proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2001, held in Havana, Cuba, in December 2001.The 40 revised full papers presented together with an invited paper were carefully reviewed and selected from 112 submissions. The book offers topical sections on verification, guarded logic, agents, automated theorem proving, non-classical logics, types, experimental aspects, foundations of logic, CSP and SAT, nonmonotonic reasoning, semantics, termination, knowledge-based systems, analysis of logic programs, databases and knowledge bases, and program analysis and proof planning.

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 Robert Nieuwenhuis, Andrei Voronkov
Język Angielski
Oprawa Książka - Miękka
Data wydania 2001
Liczba stron 741
EAN 9783540429579
ISBN 3540429573
Kod Libristo 01563961
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 2310
Wymiary 155 x 233 x 41

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 > 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
Medycyna i opieka zdrowotna > Medycyna – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
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ć

Dopamine in the CNS II Gaetano Di Chiara / Książka Miękka
common.buy 2 397.25 zł
Neurohumoral Regulation of Coronary Flow W. H. van Gilst / Książka Twarda
common.buy 436.90 zł
Optical Fiber Fusion Splicing A. D. Yablon / Książka Twarda
common.buy 1 318.14 zł
Norfolk W A Dutt / Książka Miękka
common.buy 108.36 zł
Towards an Aisthetics of the Victorian Novel Nadine Bohm-Schnitker / Książka Miękka
common.buy 279.41 zł
University of the State of New York Bulletin Of University of the State of New York / Książka Miękka
common.buy 122.32 zł
My Whirling Twirling Motor Merriam Sarcia Saunders / Książka Twarda
common.buy 60.65 zł
The Significance of Sex Julius Nelson / Książka Miękka
common.buy 75.92 zł
Manual of General Pathology for Students Sidney Martin / Książka Twarda
common.buy 166.32 zł
TOP
KJV My Creative Bible Pink Lux-Leather Christian Art Gifts / Książka Twarda
common.buy 131.87 zł
Life Of William Caxton William Stevenson / Książka Twarda
common.buy 136.08 zł
Groundhog Day Lynn Peppas / Książka Twarda
common.buy 116.80 zł
Blood and Daring: How Canada Fought the American Civil War and Forged a Nation John Boyko / Książka Miękka
common.buy 76.22 zł
Dark Moon Crossing Sylvia Nobel / Książka Miękka
common.buy 71.00 zł
Modeling Coastal And Offshore Processes Phil Dyke / Książka Miękka
common.buy 386.07 zł
Rocky Comfort Wayne Holmes / Książka Miękka
common.buy 74.72 zł
assessment of Woreda Capactiy Telaye Fikadu Mulubiran / Książka Miękka
common.buy 208.10 zł
Deception and Democracy in Classical Athens Jon Hesk / Książka Twarda
common.buy 565.76 zł
Conclog: A Methodological Approach to Concurrent Logic Programming J.-M. Jacquet / Książka Miękka
common.buy 485.81 zł
Structure and Synthesis of PID Controllers Aniruddha Datta / Książka Miękka
common.buy 654.65 zł
Extending Educational Change Andy Hargreaves / Książka Miękka
common.buy 219.15 zł
Mathematics for Teachers : An Interactive Approach for Grades K-8 Thomas Sonnabend / Książka Twarda
common.buy 1 157.04 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?