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: 02267768
Price: 53.79 EUR
Availability: InStock
Author: Ken McMillan
ISBN: 9783642452208

19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

Ken McMillan

Aart Middeldorp

Andrei Voronkov

Lingua

Inglese

Libro In brossura

Codice Libristo: 02267768

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

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

Codice Libristo: 02267768

132 b

53.79 €

Magazzino esterno Inviamo tra 8-11 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Trait pour trait - Catalogue de l'exposition Montfort

Libro

55.89 €

Manuale di diritto dei consumi

In brossura

42.09 €

Warum sexualisierte Gewalt nicht angezeigt wird Eva Kubitza

In brossura

19.79 €

Randglossen zur hebräischen Bibel Arnold Bogumil Ehrlich

In brossura

40.09 €

Prepare Level 9 Teacher’s Book with Digital Pack Rod Fricker

Libro

42.39 €

Puzzle 1000 Spicy Table 6000-5624

Gioco

14.99 €

Invicto MARCOS VAZQUEZ GARCIA

In brossura

20.99 €

Les jeunes femmes de 50 ans Desclaux

In brossura

13.29 €

Métodos de enseñanza de la lectoescritura en la Educación Primaria Oscar Ovidio Calzadilla Pérez

In brossura

36.49 €

Denkschriften - Österreichische Akademie Der Wissenschaften, Mathematisch-naturwissenschaftliche Klasse, Volume 74... Österreichische Akademie der Wissenschaften. Mathematisch-Naturwissenschaftliche Klasse

In brossura

34.79 €

Arquitectura contemporánea en el patrimonio histórico GUIRNALDOS

In brossura

48.79 €

Gramática parda Juan García Hortelano

In brossura

12.79 €

Note Sur l'Inoculation Variolique Et La Vaccination Par Le Dr Omer Marquez, Marquez-O

In brossura

14.19 €

This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume were carefully reviewed and selected from 152 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 Ken McMillan, Aart Middeldorp, Andrei Voronkov

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2013

Numero di pagine 794

EAN 9783642452208

ISBN 3642452205

Codice Libristo 02267768

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

Peso 1200

Dimensioni 155 x 235 x 44

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