Scheda dettagliata
Ricerca: BID=AQ10008868
| Livello bibliografico | Monografia | |
| Tipo documento | Testo a stampa | |
| Autore principale | Boyer, Robert S. | |
| Titolo | A computational logic / Robert S. Boyer and J. Strother Moore | |
| Pubblicazione | New York [et al.] : Academic press, c1979 |
|
| Descrizione fisica | XIV, 397 p. ; 24 cm. | |
| Collezione | ACM monograph series | |
| Numeri |
·
[ISBN] 0121229505
|
|
| Nomi |
·
[Autore] Boyer, Robert S.
·
[Autore] Moore, J Strother
|
|
| Lingua di pubblicazione | INGLESE | |
| Paese di pubblicazione | STATI UNITI | |
| Codice identificativo | AQ10008868 |
| Biblioteca | Consistenza della collocazione | Collocazione | Inventario | Note all'inventario | Tipo di fruizione |
|---|---|---|---|---|---|
| Biblioteca del Museo Interattivo di Archeologia Informatica - MIAI | LIBRI 211 | 000000211 | tutti i servizi |
