Esaurito

Handbook of Automated Reasoning

Inglese · Copertina rigida

Descrizione

Ulteriori informazioni

A comprehensive resource on automated reasoning and its applications.

Info autore

J. Alan Robinson is University Professor Emeritus at Syracuse University. Andrei Voronkov is Professor of Computer Science at the University of Manchester, UK.

Dettagli sul prodotto

Autori J. Robinson
Con la collaborazione di J. Alan Robinson (Editore), Andrei Voronkov (Editore)
Editore Mit Pr
 
Lingue Inglese
Raccomandazione d'eta' 18 anni
Formato Copertina rigida
Pubblicazione 01.01.2001
 
Pagine 2150
Dimensioni 177 mm x 248 mm x 107 mm
Peso 4318 g
Serie The MIT Press
The MIT Press
Categoria Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica

Recensioni dei clienti

Per questo articolo non c'è ancora nessuna recensione. Scrivi la prima recensione e aiuta gli altri utenti a scegliere.

Scrivi una recensione

Top o flop? Scrivi la tua recensione.

Per i messaggi a CeDe.ch si prega di utilizzare il modulo di contatto.

I campi contrassegnati da * sono obbligatori.

Inviando questo modulo si accetta la nostra dichiarazione protezione dati.