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 Deduction - CADE-15

Name: Automated Deduction - CADE-15
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01566707
Price: 53.79 EUR
Availability: InStock
Author: Claude Kirchner
ISBN: 9783540646754

15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998. Proceedings

Claude Kirchner

Helene Kirchner

Lingua

Inglese

Libro In brossura

Codice Libristo: 01566707

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

This book constitutes the refereed proceedings of the 15th International Conference on Automated Ded... Descrizione completa

Codice Libristo: 01566707

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Le club des tricoteuses JACOBS-K

In brossura

12.49 €

This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.

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 Deduction - CADE-15

Autore Claude Kirchner, Helene Kirchner

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 1998

Numero di pagine 450

EAN 9783540646754

ISBN 3540646752

Codice Libristo 01566707

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

Peso 1430

Dimensioni 155 x 235 x 25

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 > 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 > Programmazione / ingegneria del software