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

11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Logic for Programming, Artificial Intelligence, and Reasoning Franz Baader
Codice Libristo: 01560435
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzo 2005
This book constitutes the refereed proceedings of the 11th International Conference on Logic for Pro... Descrizione completa
? points 262 b
107.29 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

55 Spiele für den Kindergeburtstag Arno Backhaus / Libro In brossura
common.buy 7.29 €
I migliori
Krizová intervence Daniela Vodáčková / Libro Rigido
common.buy 26.89 €
Ein Meerschweinchen namens Timmi Jamina Diley / Libro In brossura
common.buy 8.09 €
MIKADO - 2022 / Gioco/giocattolo Giocattolo
common.buy 12.99 €
Ansatze zur Erklarung des Unterganges von Organisationen Burak Gümüs / Libro In brossura
common.buy 16.00 €
In preparazione
Nathan et les Territoires maudits Enza / Libro In brossura
common.buy 12.79 €
Todos los Cuentos de los Hermanos Grimm: Blancanieves, La Cenicienta, La Bella Durmiente, Caperucita Roja, Hansel y Gretel, Rapunzel, Pulgarcito (ilus Hermanos Grimm / Libro elettronico Adobe ePub DRM
common.buy 0.89 €
misura della felicità. Il '700 eclettico di Francesco Maria Zanotti Alberto Panighetti / Libro In brossura
common.buy 35.10 €
UNE FANTASIE DU DOCTEUR OX Jules Verne / Libro In brossura
common.buy 5.99 €
Alberi Lemniscates / Libro Rigido
common.buy 14.59 €
QUINTET B FLAT MAJOR CLARINETTE-PARTITION+PARTIES SEPAREES DIETER SCHNEBEL Pubblicazioni cartacee Note
common.buy 75.79 €
PORTRAITS LITTERAIRES De Quincey / Libro In brossura
common.buy 24.59 €
Les religieuses bouddhistes, depuis Sakya-Mouni jusqu'a nos jours Summer-M / Libro In brossura
common.buy 14.39 €
Medical Food, 1 Audio-CD, MP3 Anthony William / Audio CD audio
common.buy 18.19 €
Entkrümmt Stefan Schlager / Libro In brossura
common.buy 14.89 €
Das Moment der Gefahr als Element der Schadenszurechnung im System des Haftpflichtrechts Thomas Tschaler / Libro In brossura
common.buy 71.72 €
Les Arcanes de La Plenitude - Siddhamaharahasya David DuBois (Traducteur) / Libro In brossura
common.buy 12.39 €
Historia de la bicicleta de un hombre lagarto FINA CASALDERREY / Libro In brossura
common.buy 10.99 €
Une Drole De Saint-Valentin! Chloe Lapierre / Libro In brossura
common.buy 11.19 €

This book constitutes the refereed proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2004, held in Montevideo, Uruguay in March 2005.§The 33 revised full papers presented together with abstracts of 4 invited papers were carefully reviewed and selected from 77 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, fuzzy logic, linear logic, multi-modal logic, proof theory, formal verification, protocol verification, constraint logic programming, programming calculi, theorem proving, etc.

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 Franz Baader, Andrei Voronkov
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2005
Numero di pagine 560
EAN 9783540252368
ISBN 3540252363
Codice Libristo 01560435
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 973
Dimensioni 155 x 235 x 36

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

Intelligent Environments Dorothy Monekosso / Libro In brossura
common.buy 107.29 €
In preparazione
Oneida Iroquois Anthony Wonderley / Libro Rigido
common.buy 33.79 €
Race, Ethnicity, Gender and Other Social Characteristics as Factors in Health and Health Care Disparities Jennie Jacobs Kronenfeld / Libro Rigido
common.buy 111.19 €
Robert Elsmere, Volume 2 Humphry Ward / Libro Rigido
common.buy 36.90 €
Ten Lectures on Cognitive Linguistics and the Unification of Spoken and Signed Languages Sherman Wilcox / Libro Rigido
common.buy 144.69 €
Footprints of the Apostles, as traced by Saint Luke in the Acts Herbert Mortimer Luckock / Libro In brossura
common.buy 25.29 €
Organized Crime, Fear and Peacebuilding in Mexico Mauricio Meschoulam / Libro Rigido
common.buy 60.89 €
Letters from a Stoic Seneca / Libro Rigido
common.buy 38.49 €
Performance of Over-Head Transmission Line Insulators Under Polluted Condition Ahmed El-Tayeb Khalil / Libro In brossura
common.buy 69.79 €
Grandpa Lee's Stories Helen Najera Reyes / Libro In brossura
common.buy 17.20 €
Savage Legion Matt Wallace / Libro In brossura
common.buy 13.30 €
Up and Running with ClickHouse Vijay Anand R / Libro In brossura
common.buy 32.19 €
Radical Radiance: 12 Weeks of Self-Love Rituals to Manifest Abundance, Beauty, and Joy Kim / Libro Rigido
common.buy 24.90 €
Fractional Differential Equations: Numerical Methods for Applications / Libro Rigido
common.buy 129.84 €
Trump's Wars Usama Bajwa / Libro In brossura
common.buy 11.99 €
Vampire Bats / Libro Rigido
common.buy 26.60 €
Dielectric Materials for Electrical Engineering Juan Martinez-Vega / Libro Rigido
common.buy 246.59 €
Early Romanticism and Religious Dissent Daniel E. White / Libro In brossura
common.buy 51.49 €
Epistles of St. Paul to the Thessalonians, Galatians, Romans Prof Benjamin Jowett / Libro Rigido
common.buy 36.90 €
Cosmic Explosions EDO Berger / Libro In brossura
common.buy 29.39 €
Open University Daniel Weinbren / Libro Rigido
common.buy 100.99 €
Central Asia in World History Peter B. Golden / Libro Rigido
common.buy 192.29 €
Public Management and Modernisation in Britain Robert Pyper / Libro Rigido
common.buy 206.09 €
From the Workshop of the Chicago Assyrian Dictionary M T Roth / Libro In brossura
common.buy 50.99 €

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?