|
scheda bibliografica validata  |
| Tipo: |
Testo a stampa, Monografia |
| Titolo: |
Automated practical reasoning : algebraic approaches / Jochen Pfalzgraf and Dongming Wang (eds.) ; with a foreword by Jim Cunningham |
| Pubblicazione: |
Wien ; New York : Springer-Verlag, ©1995 |
| Descrizione fisica: |
xi, 223 p. ; 24 cm |
| Titolo uniforme: |
Automated practical reasoning |
| Numeri standard: |
ISBN 3-211-82600-9 (Springer-Verlag Wien New York)
ISBN 0-387-82600-9 (Springer-Verlag New York Wien)
Altri numeri di controllo (DLC)95-1923 |
| Fa parte della collezione: |
Texts and monographs in symbolic computation |
| Responsabilità secondarie: |
Pfalzgraf, Jochen [Curatore]
Wang, Dongming [Curatore]
Cunningham, Jim [Autore introduzione, etc.] |
| Classificazione Dewey: |
005 ed.22 Programmazione, programmi, dati degli elaboratori |
| Lingua della pubblicazione: |
Inglese |
| Paese di pubblicazione: |
Austria ; Stati Uniti d'America |
| Codice identificativo: |
IT/ItRC/00015848 |
| data di importazione: |
01-01-2014 |
| data di aggiornamento: |
21-10-2014 |
  |
Copertina, frontespizio, indice |
Lista sintetica
CNR - Area della Ricerca di Genova Servizio di Documentazione Scientifica
SEI QUI: HOME
SCHEDA BIBLIOGRAFICA
