Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

Logic Programming and Automated Reasoning

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

Lingua IngleseInglese
Libro In brossura
Libro Logic Programming and Automated Reasoning Andrei Voronkov
Codice Libristo: 05274323
Casa editrice Springer, Berlin, novembre 1992
LPAR is an international conference series aimed at bringing together researchers interested in logi... Descrizione completa
? points 111 b
45.49 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Mellan raderna Bengtsson / Audiolibro MP3
common.buy 5.29 €
Sedmý závoj - Listy z jednoho století František R. Kraus / Libro Rigido
common.buy 6.49 €
Kondolenzbuch Premium "Wir nehmen Abschied" Anna Piok / Libro Rigido
common.buy 15.69 €
El Burro y el Caballo CARMEN ALONSO BADIA / Libro Rigido
common.buy 16.39 €
Gay: Saliendose y viniendose Kathleen Hope / Libro elettronico Adobe ePub DRM
common.buy 3.99 €
Klíč k Chíramovi Christopher Knight / Libro Rigido
common.buy 11.59 €
In preparazione Nuovi
Genitalflüssigkeiten und Geschlecht Ell Rutkat / Libro In brossura
common.buy 34.89 €
Les Arcana Arcanorum et les rites maçonniques égyptiens de Memphis et Misraïm Karol / Libro Rigido
common.buy 25.09 €
Noches de uvas que han fermentado Jaime Cesar / Libro In brossura
common.buy 6.99 €
Mortalidad Por Suicidio En La Región de Las Américas: Informe Regional 2010-2014 Pan American Health Organization / Libro In brossura
common.buy 36.39 €
Svenska-Ungerska Verktyg/Szerszámok Barns tv?spr?kiga bildordbok Suzanne Carlson / Libro In brossura
common.buy 12.59 €
Espa?ol - Marathi: Escritura & Colorear Alfabeto Libros Educación Infantiles: Spanish Marathi Practicar alfabeto ABC letras con dibujos a Emilly Lima / Libro In brossura
common.buy 10.69 €
Schweizer Jahrbuch fuer Musikwissenschaft- Annales Suisses de Musicologie- Annuario Svizzero di Musicologia Joseph Willimann / Libro In brossura
common.buy 68.19 €
Traktory i kombajny Krzysztof Kozera / Libro In brossura
common.buy 3.89 €
Microblogging En La Educacion Lenis Querales / Libro In brossura
common.buy 22.69 €
Elmar und seine Freunde, Deutsch-Englisch. Elmer's Friends David McKee / Libro Leporello
common.buy 7.39 €
Commander (Buch III) Heino Caesar / Libro In brossura
common.buy 30.39 €
Prosa. Tl.1 Paul Celan / Libro Rigido
common.buy 76.29 €
Gedichtinterpretationen gestalten lernen - mit Naturlyrik Johannes G Klinkmuller / Libro In brossura
common.buy 27.89 €

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

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Logic Programming and Automated Reasoning
Autore Andrei Voronkov
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1993
Numero di pagine 394
EAN 9783540569442
ISBN 3540569448
Codice Libristo 05274323
Casa editrice Springer, Berlin
Peso 533
Dimensioni 155 x 233 x 21

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Short-cut Demand Elasticities and Other Convenient Approaches to Consumer Demand Kenneth W. Clements / Libro Rigido
common.buy 117.89 €
I migliori
Cambridge International AS Level History Modern Europe 1774-1924 Coursebook with Digital Access (2 Years) Patrick Walsh-Atkins / Libro In brossura
common.buy 32.89 €
Mentoria Ann Murry / Libro Rigido
common.buy 37.09 €
Present State of Music in France and Italy Charles Burney / Libro In brossura
common.buy 25.69 €
Hepatitis C Paul J. Thuluvath / Libro In brossura
common.buy 13.79 €
Information and Decision in Behavioral Economics Adam Biela / Libro Rigido
common.buy 51.19 €
Going the Distance: Dissident Subjectivity in Modernist American Literature David R. Jarraway / Libro In brossura
common.buy 27.99 €
Polishes and Stains for Woods David Denning / Libro In brossura
common.buy 21.69 €
History of the Rise, Progress, and Accomplishment of the Abolition of the African Slave-Trade by the British Parliament Thomas Clarkson / Libro In brossura
common.buy 57.09 €
Recent Advances in Computer Science and Information Engineering Lei Cao / Libro In brossura
common.buy 181.29 €
The Ninth Floor Liz Schulte / Libro In brossura
common.buy 11.69 €
Liverpool Travel Guide: Sightseeing, Hotel, Restaurant & Shopping Highlights Angela Woodward / Libro In brossura
common.buy 10.89 €
Bones being Further Adventures in Mr. Commissioner Sanders' Country Edagar Wallace / Libro In brossura
common.buy 8.69 €
Neck and Arm Pain Syndromes E-Book Cesar Fernandez-de-las-Penas / Libro elettronico Adobe ePub DRM
common.buy 64.89 €
The Essential Guide to the Loch Ness Monster & Other Aquatic Cryptids Ken Gerhard / Libro In brossura
common.buy 20.09 €
99 Tricks and Traps for Oracle Primavera P6 PPM Professional Updated for Version 21 Paul E Harris / Libro In brossura
common.buy 39.99 €
Noise in Semiconductor Devices Fabrizio Bonani / Libro Rigido
common.buy 136.09 €
I migliori
Lost City of the Incas Hiram Bingham / Libro In brossura
common.buy 11.89 €
In preparazione
Antarctica David Walton / Libro Rigido
common.buy 57.89 €
Singular Elliptic Problems Marius Ghergu / Libro Rigido
common.buy 135.39 €
Sources in European Political History Chris Cook / Libro Rigido
common.buy 150.19 €
Surgical Management of Nasal Obstruction: Rhinologic Perspective, An Issue of Otolaryngologic Clinics Samuel S. Becker / Libro Rigido
common.buy 75.59 €
Russia's Unknown Agriculture Judith Pallot / Libro Rigido
common.buy 141.69 €
Telling without Talking Barry M. Cohen / Libro Rigido
common.buy 44.69 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo