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

4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993. Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Logic Programming and Automated Reasoning Andrei Voronkov
Libristo kod: 05274323
Nakladnici Springer, Berlin, studeni 1992
LPAR is an international conference series aimed at bringing together researchers interested in logi... Cijeli opis
? points 125 b
51.66 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Pripremamo Novo
Genitalflüssigkeiten und Geschlecht Ell Rutkat / Knjiga Meki uvez
common.buy 40.34 €
Klíč k Chíramovi Christopher Knight / Knjiga Tvrdi uvez
common.buy 12.12 €
Gay: Saliendose y viniendose Kathleen Hope / E-knjiga Adobe ePub DRM
common.buy 4.54 €
Les Arcana Arcanorum et les rites maçonniques égyptiens de Memphis et Misraïm Karol / Knjiga Tvrdi uvez
common.buy 29.52 €
El Burro y el Caballo CARMEN ALONSO BADIA / Knjiga Tvrdi uvez
common.buy 19.10 €
Kondolenzbuch Premium "Wir nehmen Abschied" Anna Piok / Knjiga Tvrdi uvez
common.buy 17.99 €
Sedmý závoj - Listy z jednoho století František R. Kraus / Knjiga Tvrdi uvez
common.buy 7.47 €
Noches de uvas que han fermentado Jaime Cesar / Knjiga Meki uvez
common.buy 6.76 €
Mortalidad Por Suicidio En La Región de Las Américas: Informe Regional 2010-2014 Pan American Health Organization / Knjiga Meki uvez
common.buy 39.32 €
Svenska-Ungerska Verktyg/Szerszámok Barns tv?spr?kiga bildordbok Suzanne Carlson / Knjiga Meki uvez
common.buy 12.12 €
Espa?ol - Marathi: Escritura & Colorear Alfabeto Libros Educación Infantiles: Spanish Marathi Practicar alfabeto ABC letras con dibujos a Emilly Lima / Knjiga Meki uvez
common.buy 10.30 €
Schweizer Jahrbuch fuer Musikwissenschaft- Annales Suisses de Musicologie- Annuario Svizzero di Musicologia Joseph Willimann / Knjiga Meki uvez
common.buy 77.04 €
Traktory i kombajny Krzysztof Kozera / Knjiga Meki uvez
common.buy 4.84 €
Microblogging En La Educacion Lenis Querales / Knjiga Meki uvez
common.buy 25.98 €
Elmar und seine Freunde, Deutsch-Englisch. Elmer's Friends David McKee / Knjiga Leporelo
common.buy 8.38 €
Commander (Buch III) Heino Caesar / Knjiga Meki uvez
common.buy 34.87 €
Prosa. Tl.1 Paul Celan / Knjiga Tvrdi uvez
common.buy 87.45 €
Gedichtinterpretationen gestalten lernen - mit Naturlyrik Johannes G Klinkmuller / Knjiga Meki uvez
common.buy 33.26 €

LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early1970s. Later, the implementation techniques known from logic programming were used in implementing theorem proving systems. Results from both fields applied to deductive databases. This volume contains the proceedings of LPAR '93, which was organized by the Russian Association for Logic Programming. The volume contains 35 contributed papers selected from 84 submissions, together with an invited paper by Peter Wegner entitled "Reasoning versus modeling in computer science".

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 1993
Broj stranica 394
EAN 9783540569442
ISBN 3540569448
Libristo kod 05274323
Nakladnici Springer, Berlin
Težina 533
Dimenzije 155 x 233 x 21

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

Short-cut Demand Elasticities and Other Convenient Approaches to Consumer Demand Kenneth W. Clements / Knjiga Tvrdi uvez
common.buy 133.77 €
Polishes and Stains for Woods David Denning / Knjiga Meki uvez
common.buy 24.66 €
Top
Cambridge International AS Level History Modern Europe 1774-1924 Coursebook with Digital Access (2 Years) Patrick Walsh-Atkins / Knjiga Meki uvez
common.buy 35.58 €
Mentoria Ann Murry / Knjiga Tvrdi uvez
common.buy 43.87 €
Present State of Music in France and Italy Charles Burney / Knjiga Meki uvez
common.buy 29.21 €
Hepatitis C Paul J. Thuluvath / Knjiga Meki uvez
common.buy 15.86 €
Information and Decision in Behavioral Economics Adam Biela / Knjiga Tvrdi uvez
common.buy 58.23 €
Going the Distance: Dissident Subjectivity in Modernist American Literature David R. Jarraway / Knjiga Meki uvez
common.buy 32.65 €
History of the Rise, Progress, and Accomplishment of the Abolition of the African Slave-Trade by the British Parliament Thomas Clarkson / Knjiga Meki uvez
common.buy 64.20 €
Recent Advances in Computer Science and Information Engineering Lei Cao / Knjiga Meki uvez
common.buy 205.66 €
The Ninth Floor Liz Schulte / Knjiga Meki uvez
common.buy 13.94 €
Liverpool Travel Guide: Sightseeing, Hotel, Restaurant & Shopping Highlights Angela Woodward / Knjiga Meki uvez
common.buy 13.03 €
Bones being Further Adventures in Mr. Commissioner Sanders' Country Edagar Wallace / Knjiga Meki uvez
common.buy 10.30 €
99 Tricks and Traps for Oracle Primavera P6 PPM Professional Updated for Version 21 Paul E Harris / Knjiga Meki uvez
common.buy 45.49 €
The Essential Guide to the Loch Ness Monster & Other Aquatic Cryptids Ken Gerhard / Knjiga Meki uvez
common.buy 19.30 €
Noise in Semiconductor Devices Fabrizio Bonani / Knjiga Tvrdi uvez
common.buy 154.29 €
Top
Lost City of the Incas Hiram Bingham / Knjiga Meki uvez
common.buy 15.76 €
Pripremamo
Antarctica David Walton / Knjiga Tvrdi uvez
common.buy 62.58 €
Singular Elliptic Problems Marius Ghergu / Knjiga Tvrdi uvez
common.buy 150.55 €
Sources in European Political History Chris Cook / Knjiga Tvrdi uvez
common.buy 167.64 €
Surgical Management of Nasal Obstruction: Rhinologic Perspective, An Issue of Otolaryngologic Clinics Samuel S. Becker / Knjiga Tvrdi uvez
common.buy 87.25 €
Russia's Unknown Agriculture Judith Pallot / Knjiga Tvrdi uvez
common.buy 164.10 €
Telling without Talking Barry M. Cohen / Knjiga Tvrdi uvez
common.buy 48.53 €
Elliptic Curves. (MN-40), Volume 40 Anthony W. Knapp / Knjiga Meki uvez
common.buy 178.16 €

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?