Automated Reasoning and Its Applications - 9780262220552
Un libro in lingua di Veroff Robert (EDT) Pieper Gail W. (EDT) edito da Mit Pr, 1997
- € 10.30
- Il prezzo è variabile in funzione del cambio della valuta d’origine
Informazioni bibliografiche
- Titolo del Libro in lingua: Automated Reasoning and Its Applications
- Sottotitolo: Essays in Honor of Larry Wos
- Lingua: English
- Autori : Veroff Robert (EDT) Pieper Gail W. (EDT)
- Editore: Mit Pr
- Collana: Mit Pr (Hardcover)
- Data di Pubblicazione: 06 Giugno '97
- Genere: COMPUTERS
- Argomento: Automatic theorem proving
- Pagine: 247
- Dimensioni mm: 241 x 190 x 25
- ISBN-10: 0262220555
- EAN-13: 9780262220552