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 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Logic Programming and Automated Reasoning

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Logic Programming and Automated Reasoning Andrei Voronkov
Libristo-code: 05274269
Uitgeverij Springer, Berlin, november 1991
This volume contains the proceedings of LPAR '92, the international conference on logic programming... Volledige beschrijving
? points 125 b
51.56 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Joomla! 1.7 - Begynder Guide Hagen Graf / Boek Gebonden (paperback)
common.buy 18.36 €
Les quatre saisons Merrill / Boek Gebonden (paperback)
common.buy 9.98 €
Abbi coraggio! Britta Teckentrup / Boek Gebonden (harde band)
common.buy 20.48 €
L'ISLA DEU TESAUR R. L. / Boek Gebonden (harde band)
common.buy 18.86 €
L'anglais juridique YALA / Boek Gebonden (paperback)
common.buy 16.04 €
Nietzsche. La detresse du present Astor / Boek Gebonden (paperback)
common.buy 16.04 €
Jonas der kleine Wichtel (Wandkalender 2026 DIN A4 hoch), CALVENDO Monatskalender Calvendo / Kalender/agenda Kalender
common.buy 19.57 €
Ted Bundy: Az idegen mellettem Ann Rule / Boek Gebonden (harde band)
common.buy 19.27 €
Le Désordre médical et les moyens d'y remédier Jean-Louis Funck-Brentano / Boek Gebonden (paperback)
common.buy 38.65 €
Rumeurs Anne-Marie Brichau-Magnabosco / Boek Gebonden (paperback)
common.buy 12.81 €
Raubtier Gemeinde Stockstadt am Rhein / Boek Gebonden (paperback)
common.buy 9.98 €
Christianopolis Johann Valentin Andreae / Boek Gebonden (paperback)
common.buy 7.16 €
Bristol UK Aerial Photographs and Tourist Attractions: Aerial Photography Interpretation Llewelyn Pritchard Ma / Boek Gebonden (paperback)
common.buy 12.10 €
Verfestungsbuch der Stadt Stralsund Francke O. Francke / Boek Gebonden (paperback)
common.buy 19.67 €
Los cachorros : Mario Vargas Llosa Fernando Rodríguez Mansilla / Boek Gebonden (paperback)
common.buy 14.52 €
Organisationales Lernen Probst / Boek Gebonden (paperback)
common.buy 52.98 €
Little Amadeus, Vorspielstücke. Bd.2 Hans-Günter Heumann / Boek Gebonden (paperback)
common.buy 22.70 €
Inés meines Herzens Isabel Allende / Boek Gebonden (paperback)
common.buy 11.39 €

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.

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 1992
Aantal pagina's 516
EAN 9783540557272
ISBN 354055727X
Libristo-code 05274269
Uitgeverij Springer, Berlin
Gewicht 766
Afmetingen 155 x 233 x 27

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

Nonlinear Systems Dusan Stipanovic / Boek Gebonden (harde band)
common.buy 114.44 €
Common Bees of Eastern North America Joseph S. Wilson / Boek Gebonden (paperback)
common.buy 28.86 €
Original Letters And Papers Of The Late Viscount Strangford Upon Philological And Kindred Subjects (1878) Viscountess Strangford / Boek Gebonden (paperback)
common.buy 31.58 €
The Children of the Nile Marmaduke Pickthall / Boek Gebonden (paperback)
common.buy 32.49 €
Brad's Blue-Eyed Girl: A continuation of the Hazel Eyes Trilogy Emily Rhodes / Boek Gebonden (paperback)
common.buy 13.92 €
Theory Test For Biblical Hebrew's 3-Letter Vocabulary: Vol. Beth: Paleo-Hebrew Vocabulary's Etymology Travis Wayne Goodsell / Boek Gebonden (paperback)
common.buy 12.61 €
Cambridge International AS and A Level Business Coursebook Digital Edition Peter Stimpson / E-book Adobe ePub DRM
common.buy 39.55 €
Walworth Beauty Mich?le Roberts / Boek Gebonden (paperback)
common.buy 16.84 €
Practical Forms William Tidd / Boek Gebonden (harde band)
common.buy 40.97 €
"Snowed Up." [A Novel.] Vol. III. Emily Owen / Boek Gebonden (paperback)
common.buy 25.12 €
Kenneth L. Teegarden D. Duane Cummins / Boek Gebonden (harde band)
common.buy 15.73 €
Hollowmell or, A Schoolgirl's Mission E. R. Burden / Boek Gebonden (harde band)
common.buy 17.85 €
Introduction to Probability and Inductive Logic Ian Hacking / Boek Gebonden (harde band)
common.buy 142.70 €
Introduction to Huna: the Workable Psycho-Religious System of the Polynesians Max Freedom Long / Boek Gebonden (paperback)
common.buy 20.28 €
Terriers - An Illustrated Guide (a Vintage Dog Books Breed Classic) Darley Matheson / Boek Gebonden (paperback)
common.buy 25.52 €
Trapped in the Cold War Hermann H. Field / Boek Gebonden (paperback)
common.buy 26.74 €
Military Deployment and its Consequences for Families Shelley MacDermid Wadsworth / Boek Gebonden (harde band)
common.buy 154.01 €
Computer Analysis of Images and Patterns Kostas Daniilidis / Boek Gebonden (paperback)
common.buy 154.01 €
Expansion of Mobile Digital Services Olga Syraya / Boek Gebonden (paperback)
common.buy 42.68 €
Patients Satisfaction in Emergency Department- European Gaza Hospital Hammoda Abu-Odah / Boek Gebonden (paperback)
common.buy 48.84 €

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