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: 01656779
Price: 99.19 EUR
Availability: InStock
Author: Christian G. Fermüller
ISBN: 9783642162411

17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings

Christian G. Fermüller

Andrei Voronkov

Lingua

Inglese

Libro In brossura

Codice Libristo: 01656779

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

This book constitutes the refereed proceedings of the 17th International Conference on Logic for Pro... Descrizione completa

Codice Libristo: 01656779

243 b

99.19 €

Magazzino esterno in piccole quantità Inviamo tra 14-21 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Alma musica. Perché aver cura della musica classica Francesco Iuliano

In brossura

36.19 €

Herbárium Dr.kmeth Sándor

Rigido

27.49 €

Echt jetzt?!. Life is a Story - story.one Klara Zibell

Rigido

14.19 €

Book of Gaza Nayrouz Qarmout Libro elettronico

Adobe ePub DRM

4.69 €

Trasmissione analogica del parlato attraverso mezzi wireless Guramrit Kaur

In brossura

27.99 €

Básně Petr Haken

In brossura

2.89 €

Histoire d'Israël en tant que précurseur du christianisme James Ngahy

In brossura

25.69 €

Mujer Millonaria (Rich Woman: A Book on Investing for Women) Kim Kiyosaki

In brossura

12.59 €

Archimede. Un grande scienziato antico Lucio Russo

In brossura

17.10 €

Les Peugeot J7 et J9 de mon père Grégoire

Libro

29.69 €

Compendio Di Geografia Moderna Ad Uso Della Gioventu (1821) Giuseppe Stefano Reitmeir

In brossura

29.89 €

Deutsch Persisch Üben Sie Einfaches Vokabular Mit Bildern: Verbessern Deutsch Persisch basis Tiervokabular a1 a2 b1 b2 c1 c2 Buch für Kinder Sophia Dresdner

In brossura

10.69 €

Entwurf Von Fuzzy-Reglern Mit Genetischen Algorithmen Frank Hoffmann

In brossura

41.49 €

A solas ARACELI GUTIERREZ

In brossura

18.89 €

Experiment und ... GlobArt

In brossura

24.29 €

Suche nach dem wahren Weihnachtsmann Jana Swiderski

In brossura

7.89 €

This book constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, held in Yogyakarta, Indonesia, in October 2010.§The 41 revised full papers presented were carefully reviewed and selected from 133 submissions.

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 Christian G. Fermüller, Andrei Voronkov

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2010

Numero di pagine 656

EAN 9783642162411

ISBN 364216241X

Codice Libristo 01656779

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

Peso 938

Dimensioni 159 x 238 x 28

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