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 Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Logic Programming and Automated Reasoning

International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Logic Programming and Automated Reasoning Andrei Voronkov
Kod Libristo: 05274269
Wydawnictwo Springer, Berlin, listopad 1991
This volume contains the proceedings of LPAR '92, the international conference on logic programming... Cały opis
? points 125 b
222.11 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Joomla! 1.7 - Begynder Guide Hagen Graf / Książka Miękka
common.buy 79.08 zł
Les quatre saisons Merrill / Książka Miękka
common.buy 43.15 zł
Abbi coraggio! Britta Teckentrup / Książka Twarda
common.buy 83.87 zł
L'ISLA DEU TESAUR R. L. / Książka Twarda
common.buy 81.32 zł
L'anglais juridique YALA / Książka Miękka
common.buy 68.91 zł
Nietzsche. La detresse du present Astor / Książka Miękka
common.buy 68.91 zł
Jonas der kleine Wichtel (Wandkalender 2026 DIN A4 hoch), CALVENDO Monatskalender Calvendo / Kalendarz/Pamiętnik Kalendarz
common.buy 84.17 zł
Ted Bundy: Az idegen mellettem Ann Rule / Książka Twarda
common.buy 82.95 zł
Le Désordre médical et les moyens d'y remédier Jean-Louis Funck-Brentano / Książka Miękka
common.buy 166.53 zł
Rumeurs Anne-Marie Brichau-Magnabosco / Książka Miękka
common.buy 55.06 zł
Raubtier Gemeinde Stockstadt am Rhein / Książka Miękka
common.buy 43.15 zł
Christianopolis Johann Valentin Andreae / Książka Miękka
common.buy 30.93 zł
Bristol UK Aerial Photographs and Tourist Attractions: Aerial Photography Interpretation Llewelyn Pritchard Ma / Książka Miękka
common.buy 52.21 zł
Verfestungsbuch der Stadt Stralsund Francke O. Francke / Książka Miękka
common.buy 84.79 zł
Los cachorros : Mario Vargas Llosa Fernando Rodríguez Mansilla / Książka Miękka
common.buy 62.70 zł
Organisationales Lernen Probst / Książka Miękka
common.buy 228.11 zł
Little Amadeus, Vorspielstücke. Bd.2 Hans-Günter Heumann / Książka Miękka
common.buy 92.72 zł
Inés meines Herzens Isabel Allende / Książka Miękka
common.buy 46.71 zł

This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russian and the international logic programming and theorem proving communities. The topics of interest covered by papers inthe volume include automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductive databases, implementation of declarative concepts, and programming in non-classical logics. LPAR '92 is the successor of the First and Second Russian Conferences on Logic Programming held in 1990 and 1991, respectively, the proceedings of which were published in LNAI Vol. 592.

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 Programming and Automated Reasoning
Autor Andrei Voronkov
Język Angielski
Oprawa Książka - Miękka
Data wydania 1992
Liczba stron 516
EAN 9783540557272
ISBN 354055727X
Kod Libristo 05274269
Wydawnictwo Springer, Berlin
Waga 766
Wymiary 155 x 233 x 27

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
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ć

Nonlinear Systems Dusan Stipanovic / Książka Twarda
common.buy 493.29 zł
Common Bees of Eastern North America Joseph S. Wilson / Książka Miękka
common.buy 117.77 zł
Original Letters And Papers Of The Late Viscount Strangford Upon Philological And Kindred Subjects (1878) Viscountess Strangford / Książka Miękka
common.buy 135.88 zł
The Children of the Nile Marmaduke Pickthall / Książka Miękka
common.buy 139.96 zł
Brad's Blue-Eyed Girl: A continuation of the Hazel Eyes Trilogy Emily Rhodes / Książka Miękka
common.buy 59.85 zł
Theory Test For Biblical Hebrew's 3-Letter Vocabulary: Vol. Beth: Paleo-Hebrew Vocabulary's Etymology Travis Wayne Goodsell / Książka Miękka
common.buy 54.15 zł
Cambridge International AS and A Level Business Coursebook Digital Edition Peter Stimpson / E-book Adobe ePub DRM
common.buy 170.39 zł
Walworth Beauty Mich?le Roberts / Książka Miękka
common.buy 68.80 zł
Practical Forms William Tidd / Książka Twarda
common.buy 176.60 zł
"Snowed Up." [A Novel.] Vol. III. Emily Owen / Książka Miękka
common.buy 108.20 zł
Kenneth L. Teegarden D. Duane Cummins / Książka Twarda
common.buy 67.89 zł
Hollowmell or, A Schoolgirl's Mission E. R. Burden / Książka Twarda
common.buy 77.15 zł
Introduction to Probability and Inductive Logic Ian Hacking / Książka Twarda
common.buy 556.30 zł
Introduction to Huna: the Workable Psycho-Religious System of the Polynesians Max Freedom Long / Książka Miękka
common.buy 87.23 zł
Terriers - An Illustrated Guide (a Vintage Dog Books Breed Classic) Darley Matheson / Książka Miękka
common.buy 98.63 zł
Trapped in the Cold War Hermann H. Field / Książka Miękka
common.buy 115.32 zł
Military Deployment and its Consequences for Families Shelley MacDermid Wadsworth / Książka Twarda
common.buy 663.49 zł
Computer Analysis of Images and Patterns Kostas Daniilidis / Książka Miękka
common.buy 663.49 zł
Expansion of Mobile Digital Services Olga Syraya / Książka Miękka
common.buy 184.04 zł
Patients Satisfaction in Emergency Department- European Gaza Hospital Hammoda Abu-Odah / Książka Miękka
common.buy 210.50 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?