Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Logic Programming and Automated Reasoning

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Logic Programming and Automated Reasoning Andrei Voronkov
Libristo kod: 05274269
Nakladnici Springer, Berlin, studeni 1991
This volume contains the proceedings of LPAR '92, the international conference on logic programming... Cijeli opis
? points 125 b
51.68 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Joomla! 1.7 - Begynder Guide Hagen Graf / Knjiga Meki uvez
common.buy 18.40 €
Les quatre saisons Merrill / Knjiga Meki uvez
common.buy 10.00 €
Abbi coraggio! Britta Teckentrup / Knjiga Tvrdi uvez
common.buy 19.51 €
L'ISLA DEU TESAUR R. L. / Knjiga Tvrdi uvez
common.buy 18.10 €
L'anglais juridique YALA / Knjiga Meki uvez
common.buy 15.37 €
Nietzsche. La detresse du present Astor / Knjiga Meki uvez
common.buy 15.37 €
Jonas der kleine Wichtel (Wandkalender 2026 DIN A4 hoch), CALVENDO Monatskalender Calvendo / Kalendar/Rokovnik Kalendar
common.buy 19.61 €
Ted Bundy: Az idegen mellettem Ann Rule / Knjiga Tvrdi uvez
common.buy 18.20 €
Le Désordre médical et les moyens d'y remédier Jean-Louis Funck-Brentano / Knjiga Meki uvez
common.buy 37.01 €
Rumeurs Anne-Marie Brichau-Magnabosco / Knjiga Meki uvez
common.buy 12.84 €
Raubtier Gemeinde Stockstadt am Rhein / Knjiga Meki uvez
common.buy 10.00 €
Christianopolis Johann Valentin Andreae / Knjiga Meki uvez
common.buy 6.77 €
Bristol UK Aerial Photographs and Tourist Attractions: Aerial Photography Interpretation Llewelyn Pritchard Ma / Knjiga Meki uvez
common.buy 12.13 €
Verfestungsbuch der Stadt Stralsund Francke O. Francke / Knjiga Meki uvez
common.buy 19.72 €
Los cachorros : Mario Vargas Llosa Fernando Rodríguez Mansilla / Knjiga Meki uvez
common.buy 13.85 €
Organisationales Lernen Probst / Knjiga Meki uvez
common.buy 53.10 €
Little Amadeus, Vorspielstücke. Bd.2 Hans-Günter Heumann / Knjiga Meki uvez
common.buy 20.32 €
Inés meines Herzens Isabel Allende / Knjiga Meki uvez
common.buy 10.31 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Logic Programming and Automated Reasoning
Autor Andrei Voronkov
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1992
Broj stranica 516
EAN 9783540557272
ISBN 354055727X
Libristo kod 05274269
Nakladnici Springer, Berlin
Težina 766
Dimenzije 155 x 233 x 27

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Nonlinear Systems Dusan Stipanovic / Knjiga Tvrdi uvez
common.buy 114.70 €
Common Bees of Eastern North America Joseph S. Wilson / Knjiga Meki uvez
common.buy 27.40 €
Original Letters And Papers Of The Late Viscount Strangford Upon Philological And Kindred Subjects (1878) Viscountess Strangford / Knjiga Meki uvez
common.buy 31.65 €
The Children of the Nile Marmaduke Pickthall / Knjiga Meki uvez
common.buy 32.56 €
Brad's Blue-Eyed Girl: A continuation of the Hazel Eyes Trilogy Emily Rhodes / Knjiga Meki uvez
common.buy 13.95 €
Theory Test For Biblical Hebrew's 3-Letter Vocabulary: Vol. Beth: Paleo-Hebrew Vocabulary's Etymology Travis Wayne Goodsell / Knjiga Meki uvez
common.buy 12.63 €
Cambridge International AS and A Level Business Coursebook Digital Edition Peter Stimpson / E-knjiga Adobe ePub DRM
common.buy 37.72 €
Walworth Beauty Mich?le Roberts / Knjiga Meki uvez
common.buy 14.96 €
Practical Forms William Tidd / Knjiga Tvrdi uvez
common.buy 41.06 €
"Snowed Up." [A Novel.] Vol. III. Emily Owen / Knjiga Meki uvez
common.buy 25.18 €
Kenneth L. Teegarden D. Duane Cummins / Knjiga Tvrdi uvez
common.buy 15.77 €
Hollowmell or, A Schoolgirl's Mission E. R. Burden / Knjiga Tvrdi uvez
common.buy 17.89 €
Introduction to Probability and Inductive Logic Ian Hacking / Knjiga Tvrdi uvez
common.buy 136.25 €
Introduction to Huna: the Workable Psycho-Religious System of the Polynesians Max Freedom Long / Knjiga Meki uvez
common.buy 20.32 €
Terriers - An Illustrated Guide (a Vintage Dog Books Breed Classic) Darley Matheson / Knjiga Meki uvez
common.buy 24.27 €
Trapped in the Cold War Hermann H. Field / Knjiga Meki uvez
common.buy 26.80 €
Military Deployment and its Consequences for Families Shelley MacDermid Wadsworth / Knjiga Tvrdi uvez
common.buy 154.36 €
Computer Analysis of Images and Patterns Kostas Daniilidis / Knjiga Meki uvez
common.buy 154.36 €
Expansion of Mobile Digital Services Olga Syraya / Knjiga Meki uvez
common.buy 42.78 €
Patients Satisfaction in Emergency Department- European Gaza Hospital Hammoda Abu-Odah / Knjiga Meki uvez
common.buy 48.95 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?