Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Logic Programming and Automated Reasoning

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

Limba englezăengleză
Carte Carte broșată
Carte Logic Programming and Automated Reasoning Andrei Voronkov
Codul Libristo: 05274323
Editura Springer, Berlin, noiembrie 1992
LPAR is an international conference series aimed at bringing together researchers interested in logi... Descrierea completă
? points 132 b
285.28 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Mortalidad Por Suicidio En La Región de Las Américas: Informe Regional 2010-2014 Pan American Health Organization / Carte Carte broșată
common.buy 215.49 lei
Commander (Buch III) Heino Caesar / Carte Carte broșată
common.buy 193.44 lei
Microblogging En La Educacion Lenis Querales / Carte Carte broșată
common.buy 144.25 lei
Prosa. Tl.1 Paul Celan / Carte Copertă tare
common.buy 485.81 lei
Sedmý závoj - Listy z jednoho století František R. Kraus / Carte Copertă tare
common.buy 41.59 lei
Kondolenzbuch Premium "Wir nehmen Abschied" Anna Piok / Carte Copertă tare
common.buy 100.04 lei
Gay: Saliendose y viniendose Kathleen Hope / E-book Adobe ePub DRM
common.buy 24.85 lei
Les Arcana Arcanorum et les rites maçonniques égyptiens de Memphis et Misraïm Karol / Carte Copertă tare
common.buy 162.66 lei
Noches de uvas que han fermentado Jaime Cesar / Carte Carte broșată
common.buy 37.22 lei
Svenska-Ungerska Verktyg/Szerszámok Barns tv?spr?kiga bildordbok Suzanne Carlson / Carte Carte broșată
common.buy 66.87 lei
Espa?ol - Marathi: Escritura & Colorear Alfabeto Libros Educación Infantiles: Spanish Marathi Practicar alfabeto ABC letras con dibujos a Emilly Lima / Carte Carte broșată
common.buy 56.99 lei
Elmar und seine Freunde, Deutsch-Englisch. Elmer's Friends David McKee / Carte Cărți pliante
common.buy 46.79 lei
Gedichtinterpretationen gestalten lernen - mit Naturlyrik Johannes G Klinkmuller / Carte Carte broșată
common.buy 124.49 lei
Traktory i kombajny Krzysztof Kozera / Carte Carte broșată
common.buy 27.03 lei
Schweizer Jahrbuch fuer Musikwissenschaft- Annales Suisses de Musicologie- Annuario Svizzero di Musicologia Joseph Willimann / Carte Carte broșată
common.buy 425.38 lei

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".

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Logic Programming and Automated Reasoning
Autor Andrei Voronkov
Limba engleză
Legare Carte - Carte broșată
Data publicării 1993
Număr pagini 394
EAN 9783540569442
ISBN 3540569448
Codul Libristo 05274323
Editura Springer, Berlin
Greutatea 533
Dimensiuni 155 x 233 x 21

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Short-cut Demand Elasticities and Other Convenient Approaches to Consumer Demand Kenneth W. Clements / Carte Copertă tare
common.buy 738.96 lei
Polishes and Stains for Woods David Denning / Carte Carte broșată
common.buy 129.06 lei
Shampoo - The Criterion Collection / Videoclip Blu-ray
common.buy 134.26 lei
Buddy Holly: "Chirping" Crickets / 180G Buddy Holly / Audio Audio plăci vinil
common.buy 78.20 lei
Cambridge International AS Level History Modern Europe 1774-1924 Coursebook with Digital Access (2 Years) Patrick Walsh-Atkins / Carte Carte broșată
common.buy 200.31 lei
The Essential Guide to the Loch Ness Monster & Other Aquatic Cryptids Ken Gerhard / Carte Carte broșată
common.buy 106.29 lei
Bones being Further Adventures in Mr. Commissioner Sanders' Country Edagar Wallace / Carte Carte broșată
common.buy 56.99 lei
Liverpool Travel Guide: Sightseeing, Hotel, Restaurant & Shopping Highlights Angela Woodward / Carte Carte broșată
common.buy 71.65 lei
The Ninth Floor Liz Schulte / Carte Carte broșată
common.buy 76.64 lei
Recent Advances in Computer Science and Information Engineering Lei Cao / Carte Carte broșată
common.buy 1 136.27 lei
Going the Distance: Dissident Subjectivity in Modernist American Literature David R. Jarraway / Carte Carte broșată
common.buy 178.88 lei
Information and Decision in Behavioral Economics Adam Biela / Carte Copertă tare
common.buy 305.35 lei
Present State of Music in France and Italy Charles Burney / Carte Carte broșată
common.buy 153.09 lei
Mentoria Ann Murry / Carte Copertă tare
common.buy 241.49 lei
Russia's Unknown Agriculture Judith Pallot / Carte Copertă tare
common.buy 867.20 lei
Lost City of the Incas Hiram Bingham / Carte Carte broșată
common.buy 77.99 lei
Curând
Antarctica David Walton / Carte Copertă tare
common.buy 351.74 lei
Singular Elliptic Problems Marius Ghergu / Carte Copertă tare
common.buy 580.66 lei
Sources in European Political History Chris Cook / Carte Copertă tare
common.buy 920.45 lei
Surgical Management of Nasal Obstruction: Rhinologic Perspective, An Issue of Otolaryngologic Clinics Samuel S. Becker / Carte Copertă tare
common.buy 479.56 lei
Telling without Talking Barry M. Cohen / Carte Copertă tare
common.buy 268.95 lei
Elliptic Curves. (MN-40), Volume 40 Anthony W. Knapp / Carte Carte broșată
common.buy 728.14 lei
Noise in Semiconductor Devices Fabrizio Bonani / Carte Copertă tare
common.buy 852.74 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?