Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

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 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Logic for Programming, Artificial Intelligence, and Reasoning

Name: Logic for Programming, Artificial Intelligence, and Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560435
Price: 107.29 EUR
Availability: InStock
Author: Franz Baader
ISBN: 9783540252368

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

Franz Baader

Andrei Voronkov

Lingua

Inglese

Libro In brossura

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

Codice Libristo: 01560435

263 b

107.29 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

MIKADO - 2022

Giocattolo

15.29 €

Alberi Lemniscates

Rigido

16.29 €

QUINTET B FLAT MAJOR CLARINETTE-PARTITION+PARTIES SEPAREES DIETER SCHNEBEL Pubblicazioni cartacee

Note

83.89 €

PORTRAITS LITTERAIRES De Quincey

In brossura

27.99 €

Nathan et les Territoires maudits Enza

In brossura

15.19 €

misura della felicità. Il '700 eclettico di Francesco Maria Zanotti Alberto Panighetti

In brossura

36.99 €

Medical Food, 1 Audio-CD, MP3 Anthony William

CD audio

18.19 €

Entkrümmt Stefan Schlager

In brossura

15.89 €

Das Moment der Gefahr als Element der Schadenszurechnung im System des Haftpflichtrechts Thomas Tschaler

In brossura

75.49 €

Historia de la bicicleta de un hombre lagarto FINA CASALDERREY

In brossura

11.79 €

Une Drole De Saint-Valentin! Chloe Lapierre

In brossura

13.39 €

Les religieuses bouddhistes, depuis Sakya-Mouni jusqu'a nos jours Summer-M

In brossura

16.09 €

55 Spiele für den Kindergeburtstag Arno Backhaus

In brossura

7.29 €

Ansatze zur Erklarung des Unterganges von Organisationen Burak Gümüs

In brossura

16.89 €

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

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