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: 01660691
Price: 57.79 EUR
Availability: InStock
Author: Nikolaj Bj
ISBN: 9783642287169

18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Nikolaj Bj

Andrei Voronkov

Lingua

Inglese

Libro In brossura

Codice Libristo: 01660691

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, febbraio 2012

This book constitutes the proceedings of the 18th International Conference on Logic for Programming,... Descrizione completa

Codice Libristo: 01660691

141 b

57.79 €

Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

30 giorni per il reso

I clienti hanno acquistato anche

BLISTERS ALBUM Y 15 SOBRES GORJUSS 2

binding.

13.69 €

Français - Étude de la langue CM1-CM2 Mauffrey

In brossura

24.59 €

Coñodramas Moderna de Pueblo

CD audio

26.29 €

Ciudadelas de la soberbia MARTHA C. NUSSBAUM

In brossura

25.49 €

U-Bahn, S-Bahn & Tram in Warszawa Robert Schwandl

In brossura

17.39 €

Mroczniej James EL

In brossura

8.69 €

Spezialgebiete aus der Schulter- und Ellenbogenchirurgie 2. Bd.2 Ulrich Brunner

In brossura

68.89 €

Leben und Lehre des Buddha Richard Pischel

In brossura

18.79 €

Memoires de Claude Haton: Contenant Le Recit Des Evenements Accomplis. T 2 (Ed.1857) Claude Haton

In brossura

41.49 €

religionsgeschichtliche Ansicht, 1841 Friedrich Wilhelm Joseph von Schelling

In brossura

19.09 €

Abacolino - Abaco 20 tricolor - Arbeitsheft Helmut Wentzke

Foglio

10.49 €

El ser humano es capaz de crearse a sí mismo José García del Olmo

In brossura

34.09 €

Imágenes de la locura : la psicopatología en el cine Beatriz Vera Poseck

In brossura

23.69 €

Color My Day The Jewish Way (Yiddish) Miriam Yerushalmi

Rigido

17.39 €

Co się stało z Iwoną Wieczorek wyd. 2 Janusz Szostak

In brossura

8.49 €

Portrait ou la Jeune orpheline. Tome 2 HOLFORD-M

In brossura

22.99 €

Oswajanie przez bajanie Bajki psychoterapeutyczne Furmańska Sabina

Rigido

4.69 €

This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 submissions.§The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.

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 Nikolaj Bj, Andrei Voronkov

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2012

Numero di pagine 446

EAN 9783642287169

ISBN 3642287166

Codice Libristo 01660691

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 647

Dimensioni 155 x 235 x 30

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 > Compilatori e interpreti

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

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