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
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

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 141 b
57.79 €
Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Mortalidad Por Suicidio En La Región de Las Américas: Informe Regional 2010-2014 Pan American Health Organization / Libro In brossura
common.buy 40.69 €
Commander (Buch III) Heino Caesar / Libro In brossura
common.buy 53.59 €
Microblogging En La Educacion Lenis Querales / Libro In brossura
common.buy 31.19 €
Prosa. Tl.1 Paul Celan / Libro Rigido
common.buy 96.69 €
Sedmý závoj - Listy z jednoho století František R. Kraus / Libro Rigido
common.buy 7.79 €
Kondolenzbuch Premium "Wir nehmen Abschied" Anna Piok / Libro Rigido
common.buy 18.89 €
Gay: Saliendose y viniendose Kathleen Hope / Libro elettronico Adobe ePub DRM
common.buy 4.89 €
Les Arcana Arcanorum et les rites maçonniques égyptiens de Memphis et Misraïm Karol / Libro Rigido
common.buy 31.99 €
Noches de uvas que han fermentado Jaime Cesar / Libro In brossura
common.buy 6.99 €
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 €
Elmar und seine Freunde, Deutsch-Englisch. Elmer's Friends David McKee / Libro Leporello
common.buy 9.29 €
Gedichtinterpretationen gestalten lernen - mit Naturlyrik Johannes G Klinkmuller / Libro In brossura
common.buy 23.49 €
Traktory i kombajny Krzysztof Kozera / Libro In brossura
common.buy 5.39 €
Schweizer Jahrbuch fuer Musikwissenschaft- Annales Suisses de Musicologie- Annuario Svizzero di Musicologia Joseph Willimann / Libro In brossura
common.buy 68.39 €

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 152.69 €
Polishes and Stains for Woods David Denning / Libro In brossura
common.buy 26.99 €
Buddy Holly: "Chirping" Crickets / 180G Buddy Holly / Audio Vinile audio
common.buy 14.69 €
Cambridge International AS Level History Modern Europe 1774-1924 Coursebook with Digital Access (2 Years) Patrick Walsh-Atkins / Libro In brossura
common.buy 39.79 €
The Essential Guide to the Loch Ness Monster & Other Aquatic Cryptids Ken Gerhard / Libro In brossura
common.buy 20.09 €
Bones being Further Adventures in Mr. Commissioner Sanders' Country Edagar Wallace / Libro In brossura
common.buy 10.69 €
Liverpool Travel Guide: Sightseeing, Hotel, Restaurant & Shopping Highlights Angela Woodward / Libro In brossura
common.buy 13.49 €
The Ninth Floor Liz Schulte / Libro In brossura
common.buy 14.49 €
Recent Advances in Computer Science and Information Engineering Lei Cao / Libro In brossura
common.buy 236.49 €
Going the Distance: Dissident Subjectivity in Modernist American Literature David R. Jarraway / Libro In brossura
common.buy 33.69 €
Information and Decision in Behavioral Economics Adam Biela / Libro Rigido
common.buy 63.99 €
Present State of Music in France and Italy Charles Burney / Libro In brossura
common.buy 32.09 €
Mentoria Ann Murry / Libro Rigido
common.buy 45.59 €
Russia's Unknown Agriculture Judith Pallot / Libro Rigido
common.buy 163.59 €
Lost City of the Incas Hiram Bingham / Libro In brossura
common.buy 14.69 €
In preparazione
Antarctica David Walton / Libro Rigido
common.buy 70.19 €
Singular Elliptic Problems Marius Ghergu / Libro Rigido
common.buy 119.49 €
Sources in European Political History Chris Cook / Libro Rigido
common.buy 173.59 €
Surgical Management of Nasal Obstruction: Rhinologic Perspective, An Issue of Otolaryngologic Clinics Samuel S. Becker / Libro Rigido
common.buy 94.69 €
In preparazione
Telling without Talking Barry M. Cohen / Libro Rigido
common.buy 47.89 €
Elliptic Curves. (MN-40), Volume 40 Anthony W. Knapp / Libro In brossura
common.buy 172.49 €
Noise in Semiconductor Devices Fabrizio Bonani / Libro Rigido
common.buy 173.59 €

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
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?