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 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Automated Reasoning

Name: Automated Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01562445
Price: 107.29 EUR
Availability: InStock
Author: Ulrich Furbach
ISBN: 9783540371878

Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Ulrich Furbach

Natarajan Shankar

Lingua

Inglese

Libro In brossura

Codice Libristo: 01562445

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

Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2... Descrizione completa

Codice Libristo: 01562445

263 b

107.29 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Spieltheorie fur Dummies Erwin Amann

In brossura

16.49 €

Velké logopedické pexeso 2 Ilona Eichlerová

In brossura

6.79 €

Strafrechtliche und strafprozessuale Abhandlungen. Bd.1 Karl Binding

In brossura

147.09 €

Mirai Nikki 06 Sakae Esuno

In brossura

10.69 €

Wheatgrass: (Hierba de Trigo) Neil Stevens

In brossura

10.19 €

Guia Practica del Rolex Vintage Colin A. Whte

In brossura

45.59 €

Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006. The book presents 41 revised full research papers and 8 revised system descriptions, with 3 invited papers and a summary of a systems competition. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.

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 Automated Reasoning

Autore Ulrich Furbach, Natarajan Shankar

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2006

Numero di pagine 688

EAN 9783540371878

ISBN 3540371877

Codice Libristo 01562445

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

Peso 2140

Dimensioni 152 x 229 x 38

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Sistemi esperti e basati sulla conoscenza

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