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

10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Logic for Programming, Artificial Intelligence, and Reasoning Moshe Vardi
Codice Libristo: 01558600
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, settembre 2003
This book constitutes the refereed proceedings of the 10th International Conference on Logic Program... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Informationsmodellierung in XML und SGML Henning Lobin / Libro In brossura
common.buy 54.19 €
In preparazione
Epochen der Musikgeschichte, Heft Wieland Schmid / Libro In brossura
common.buy 35.29 €
I migliori
A legnagyszerűbb könyv a nárcizmusról Bánki György / Libro In brossura
common.buy 14.99 €
Recueil des actes de l'Académie impériale des sciences, belles-lettres et arts de Bordeaux Auteur inconnu / Libro Rigido
common.buy 102.29 €
La maladie de Parkinson SOFMA / Libro In brossura
common.buy 53.79 €
Silencer T04 Sho Fumimura / Libro In brossura
common.buy 12.29 €
Ambassador Hotel - La mort d'un Kennedy, la naissance d'une rock star Desjardins / Libro In brossura
common.buy 24.79 €
Un jour, il t'arrivera du bonheur Guerdner / Libro In brossura
common.buy 20.09 €
Krysí královny Démoni Wiebe Kurtis J. / Libro In brossura
common.buy 13.69 €
Pharmakovigilanz Sachdev Yadav / Libro In brossura
common.buy 56.79 €
Agata mène l'enquête, Tome 01 Paul Martin / Libro In brossura
common.buy 8.79 €
Poker Matisse Pubblicazioni cartacee Carte
common.buy 3.99 €
Poník má problémy Jeanne Betancourt / Libro Rigido
common.buy 5.79 €
Competencias para el desarrollo de las Habilidades de Pensamiento Gildardo Aguilar / Libro In brossura
common.buy 45.79 €
Plastic blok NEON zelený A6, linka, 60 listů / Articoli di cancelleria Articoli di cancelleria
common.buy 2.69 €
Espanol sin fronteras 2 - CD k pracovnímu sešitu Isabel Santos Gargallo / Digitale CD digitale
common.buy 56.79 €
Friedrich Tabellenbuch Werner Beermann / Libro Rigido
common.buy 51.19 €
Die Neuerfindung der Natur Donna Haraway / Libro In brossura
common.buy 33.59 €
Lalius Oder Von Der Freundschaft Marcus Tullius Cicero / Libro In brossura
common.buy 9.49 €
Barfussele Berthold Auerbach / Libro Rigido
common.buy 23.39 €
Sprichwoerter bei den roemischen Komiker Wilhelm von Wyss / Libro In brossura
common.buy 30.79 €
Radium Und Die Farben C. Doelter / Libro In brossura
common.buy 29.89 €
Cyber-Sicherheit Hans-Jürgen Lange / Libro In brossura
common.buy 54.19 €
Die Konzeption überarbeiten und weiterentwickeln Sonja Alberti / Libro In brossura
common.buy 17.29 €

This book constitutes the refereed proceedings of the 10th International Conference on Logic Programming, Artificial Intelligence, and Reasoning, LPAR 2003, held in Almaty, Kazakhstan in September 2003.§§The 27 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 65 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, proof theory, logic calculi, formal verification, model theory, game theory, automata, proof search, constraint systems, model checking, and proof construction.

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 Moshe Vardi, Andrei Voronkov
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2003
Numero di pagine 436
EAN 9783540201014
ISBN 3540201017
Codice Libristo 01558600
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1400
Dimensioni 155 x 233 x 25

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

Group 13 Chemistry I H.W. Roesky / Libro In brossura
common.buy 214.29 €
Design of Ship Hull Structures Yasuhisa Okumoto / Libro In brossura
common.buy 188.99 €
Body and Soul; Or Life, Mind, and Matter, Considered as to Their Peculiar Nature, and Combined Condition in Living Things George Redford / Libro Rigido
common.buy 34.79 €
Bahrain Emile Nakhleh / Libro In brossura
common.buy 68.89 €
Resilient Writer C. Wald / Libro In brossura
common.buy 14.49 €
Shakespeare's Troilus and Cressida and the Inns of Court Revels W.R. Elton / Libro Rigido
common.buy 224.29 €
NeuroLeadership Sam Page / Libro In brossura
common.buy 20.39 €
Galileo, Michelangelo and Da Vinci Baby Professor / Libro In brossura
common.buy 12.69 €
THE FLOWING BOWL: WHEN AND WHAT TO DRINK WILLIAM SCHMIDT / Libro Rigido
common.buy 44.59 €
Bean There, Drunk That... the Definitive Guide to Coffee and the World of the Barista Matthew Gee / Libro In brossura
common.buy 21.59 €
Labor Matters Roderick O Ford J D / Libro Rigido
common.buy 38.19 €
Ebony Enigma Lottie Lawrence / Libro In brossura
common.buy 17.29 €
Modeling Biomolecular Networks in Cells Luonan Chen / Libro In brossura
common.buy 107.29 €
Practical Treatise on the Culture of the Vine JOHN SANDERS / Libro Rigido
common.buy 30.79 €
Theories of Violent Conflict Jolle Demmers / Libro In brossura
common.buy 67.99 €
Cold War and Decolonisation Andrea Benvenuti / Libro In brossura
common.buy 38.89 €
Albion's Story Kate Grenville / Libro In brossura
common.buy 17.99 €
At the Earth's Core Edgar Rice Burroughs / Libro In brossura
common.buy 14.29 €
Maddie's Reading Log Martha Day Zschock / Libro In brossura
common.buy 8.79 €
The Holdout Laurel Osterkamp / Libro In brossura
common.buy 11.19 €
Advances in Smart Grid and Renewable Energy Akash Kumar Bhoi / Libro Rigido
common.buy 321.39 €
The Gold Hunters Of California (1904) Thomas Edwin Farish / Libro In brossura
common.buy 24.89 €
The Playful Politics of Memes Mette Mortensen / Libro In brossura
common.buy 63.69 €
Genomic Mosaicism in Neurons and Other Cell Types José María Frade / Libro In brossura
common.buy 115.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?