Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Logic Programming and Automated Reasoning

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Logic Programming and Automated Reasoning Andrei Voronkov
Libristo-code: 05274323
Uitgeverij Springer, Berlin, november 1992
LPAR is an international conference series aimed at bringing together researchers interested in logi... Volledige beschrijving
? points 125 b
51.62 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Mortalidad Por Suicidio En La Región de Las Américas: Informe Regional 2010-2014 Pan American Health Organization / Boek Gebonden (paperback)
common.buy 39.29 €
Commander (Buch III) Heino Caesar / Boek Gebonden (paperback)
common.buy 34.85 €
Microblogging En La Educacion Lenis Querales / Boek Gebonden (paperback)
common.buy 25.96 €
Prosa. Tl.1 Paul Celan / Boek Gebonden (harde band)
common.buy 92.54 €
Sedmý závoj - Listy z jednoho století František R. Kraus / Boek Gebonden (harde band)
common.buy 7.47 €
Kondolenzbuch Premium "Wir nehmen Abschied" Anna Piok / Boek Gebonden (harde band)
common.buy 17.97 €
Gay: Saliendose y viniendose Kathleen Hope / E-book Adobe ePub DRM
common.buy 4.74 €
Les Arcana Arcanorum et les rites maçonniques égyptiens de Memphis et Misraïm Karol / Boek Gebonden (harde band)
common.buy 31.01 €
Noches de uvas que han fermentado Jaime Cesar / Boek Gebonden (paperback)
common.buy 6.76 €
Svenska-Ungerska Verktyg/Szerszámok Barns tv?spr?kiga bildordbok Suzanne Carlson / Boek Gebonden (paperback)
common.buy 12.11 €
Espa?ol - Marathi: Escritura & Colorear Alfabeto Libros Educación Infantiles: Spanish Marathi Practicar alfabeto ABC letras con dibujos a Emilly Lima / Boek Gebonden (paperback)
common.buy 10.30 €
Elmar und seine Freunde, Deutsch-Englisch. Elmer's Friends David McKee / Boek Leporello (harmonicaboek)
common.buy 8.88 €
Gedichtinterpretationen gestalten lernen - mit Naturlyrik Johannes G Klinkmuller / Boek Gebonden (paperback)
common.buy 22.42 €
Traktory i kombajny Krzysztof Kozera / Boek Gebonden (paperback)
common.buy 5.14 €
Schweizer Jahrbuch fuer Musikwissenschaft- Annales Suisses de Musicologie- Annuario Svizzero di Musicologia Joseph Willimann / Boek Gebonden (paperback)
common.buy 76.98 €

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

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Logic Programming and Automated Reasoning
Auteur Andrei Voronkov
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1993
Aantal pagina's 394
EAN 9783540569442
ISBN 3540569448
Libristo-code 05274323
Uitgeverij Springer, Berlin
Gewicht 533
Afmetingen 155 x 233 x 21

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Short-cut Demand Elasticities and Other Convenient Approaches to Consumer Demand Kenneth W. Clements / Boek Gebonden (harde band)
common.buy 133.66 €
Polishes and Stains for Woods David Denning / Boek Gebonden (paperback)
common.buy 25.96 €
Buddy Holly: "Chirping" Crickets / 180G Buddy Holly / Audio Audio vinyl
common.buy 14.24 €
Cambridge International AS Level History Modern Europe 1774-1924 Coursebook with Digital Access (2 Years) Patrick Walsh-Atkins / Boek Gebonden (paperback)
common.buy 39.90 €
The Essential Guide to the Loch Ness Monster & Other Aquatic Cryptids Ken Gerhard / Boek Gebonden (paperback)
common.buy 19.29 €
Bones being Further Adventures in Mr. Commissioner Sanders' Country Edagar Wallace / Boek Gebonden (paperback)
common.buy 10.30 €
Liverpool Travel Guide: Sightseeing, Hotel, Restaurant & Shopping Highlights Angela Woodward / Boek Gebonden (paperback)
common.buy 13.02 €
The Ninth Floor Liz Schulte / Boek Gebonden (paperback)
common.buy 13.93 €
Recent Advances in Computer Science and Information Engineering Lei Cao / Boek Gebonden (paperback)
common.buy 205.49 €
Going the Distance: Dissident Subjectivity in Modernist American Literature David R. Jarraway / Boek Gebonden (paperback)
common.buy 32.62 €
Information and Decision in Behavioral Economics Adam Biela / Boek Gebonden (harde band)
common.buy 61.42 €
Present State of Music in France and Italy Charles Burney / Boek Gebonden (paperback)
common.buy 30.80 €
Mentoria Ann Murry / Boek Gebonden (harde band)
common.buy 43.84 €
Russia's Unknown Agriculture Judith Pallot / Boek Gebonden (harde band)
common.buy 163.96 €
Lost City of the Incas Hiram Bingham / Boek Gebonden (paperback)
common.buy 13.93 €
Wordt verwacht
Antarctica David Walton / Boek Gebonden (harde band)
common.buy 67.08 €
Singular Elliptic Problems Marius Ghergu / Boek Gebonden (harde band)
common.buy 115.67 €
Sources in European Political History Chris Cook / Boek Gebonden (harde band)
common.buy 175.38 €
Surgical Management of Nasal Obstruction: Rhinologic Perspective, An Issue of Otolaryngologic Clinics Samuel S. Becker / Boek Gebonden (harde band)
common.buy 91.42 €
Telling without Talking Barry M. Cohen / Boek Gebonden (harde band)
common.buy 48.49 €
Elliptic Curves. (MN-40), Volume 40 Anthony W. Knapp / Boek Gebonden (paperback)
common.buy 132.75 €
Noise in Semiconductor Devices Fabrizio Bonani / Boek Gebonden (harde band)
common.buy 154.16 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?