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 for Programming, Artificial Intelligence, and Reasoning

14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Logic for Programming, Artificial Intelligence, and Reasoning Nachum Dershowitz
Codice Libristo: 01569358
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ottobre 2007
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Pro... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

In preparazione
TOXIQUES - Les Nouveaux Empoisonneurs BROQUERE / Libro In brossura
common.buy 25.89 €
Rodina v 21. století collegium / Libro In brossura
common.buy 4.49 €
Theodor Fontane: Effi Briest Theodor Fontane / Libro Rigido
common.buy 5.79 €
Suburban Hell Taro Kanafuro / Libro In brossura
common.buy 32.19 €
Educación infantil, 3 a?os / Libro In brossura
common.buy 20.09 €
Le Passage du Désir Almira / Libro In brossura
common.buy 12.29 €
La graduación de la imprudencia punible (Papel + e-book) ALBERTO DAUNIS RODRIGUEZ / Libro In brossura
common.buy 38.09 €
Les Tribulations d'un Chinois en Chine Jules Verne / Libro In brossura
common.buy 12.69 €
Economico
Schule der magischen Tiere - Auf die Plätze! Carlo Rossi / Gioco/giocattolo Gioco
common.buy 8.99 €
Geschichte der Gruben im 12. bis 19. Jahrhundert Peter Haertel / Libro In brossura
common.buy 36.39 €
A>tze, das Tintenmonster Ursel Scheffler / Libro In brossura
common.buy 5.89 €
Methoden-Lexikon Fur Die Sozialwissenschaften Rainer Diaz-Bone / Libro In brossura
common.buy 83.59 €
Internationale Steuerarbitrage unter besonderer Berucksichtigung von Zinsabzugsbeschrankungen am Beispiel von Deutschland und USA Philipp Adam / Libro In brossura
common.buy 18.79 €
Heilkunst und Humor Rosina Sonnenschmidt / Libro Rigido
common.buy 28.69 €

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.

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 for Programming, Artificial Intelligence, and Reasoning
Autore Nachum Dershowitz, Andrei Voronkov
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2007
Numero di pagine 564
EAN 9783540755586
ISBN 3540755586
Codice Libristo 01569358
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 878
Dimensioni 155 x 235 x 32

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
Informatica e Tecnologia dell’Informazione > Sistemi operativi
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

Catalysis Michel Boudart / Libro In brossura
common.buy 107.29 €
Nonlinear Dynamics and Heterogeneous Interacting Agents T. Lux / Libro In brossura
common.buy 113.19 €
Caste. [A Novel.] by the Author of Mr. Arle [I.E. Emily Jolly]. Vol. III Anonymous / Libro In brossura
common.buy 29.59 €
Practical Treatise on the Medical & Surgical Uses of Electricity George Miller Beard / Libro Rigido
common.buy 47.49 €
5 Things to Pray for Your Church Jones / Libro In brossura
common.buy 6.99 €
Perpetrators Victims Bystanders Raul Hilberg / Libro In brossura
common.buy 14.99 €
Worldwar Harry Turtledove / Libro In brossura
common.buy 8.09 €
Global Renewal Christianity Amos Yong / Libro Rigido
common.buy 32.59 €
JENNY BOOTH ELIZABETH EDI PIGOT / Libro Rigido
common.buy 32.79 €
What I Saw In California: (Edwin Bryant Classics Collection) Edwin Bryant / Libro In brossura
common.buy 8.89 €
The Death of the Wicked Anne Barton / Libro In brossura
common.buy 15.39 €
SAS Certified Professional Prep Guide Sas Institute / Libro Rigido
common.buy 148.49 €
Just for You Francesca Pirrone / Libro Rigido
common.buy 13.79 €
John and the Big Wish Laura Watkins / Libro Rigido
common.buy 9.09 €
Advances in X-Ray Analysis Charles S. Barrett / Libro In brossura
common.buy 53.79 €
Gender and Nation Building in the Middle East Elise G Young / Libro Rigido
common.buy 206.09 €
Con Men, The Leo Gough / Libro In brossura
common.buy 27.69 €
Multiple Testing Procedures with Applications to Genomics S. Dudoit / Libro Rigido
common.buy 209.99 €
Future of Drylands Cathy Lee / Libro Rigido
common.buy 214.29 €
Pascal John Tulloch / Libro In brossura
common.buy 12.29 €
Evolving Human Nutrition Stanley UlijaszekNeil MannSarah Elton / Libro In brossura
common.buy 60.99 €
English Drama Before Shakespeare Peter Happe / Libro In brossura
common.buy 77.69 €
Computational Algebraic Geometry Frederic Eyssette / Libro In brossura
common.buy 53.79 €

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?