|
scheda bibliografica validata  |
| Tipo: |
Testo a stampa, Monografia |
| Autore principale: |
Boyer, Robert S.
| Tipo autore: |
Persona |
| Nome autore: |
Boyer, Robert S. |
| Identificatore: |
ISNI 0000 0001 1569 2802  |
| Forma variante: |
Boyer, R. S. |
| Registrazione n°: |
IT/ItRC/AUTHA/00003679 |
|
data di creazione: 02-05-2014
data di aggiornamento: 07-05-2014 |
|
|
|
| Titolo: |
A computational logic / Robert S. Boyer and J. Strother Moore |
| Pubblicazione: |
Orlando ; San Diego ; New York ; Austin ; Boston ; London ; Sydney ; Tokyo ; Toronto : Academic Press, ©1979 |
| Descrizione fisica: |
xiv, 397 p. ; 24 cm |
| Titolo uniforme: |
A computational logic |
| Numeri standard: |
ISBN 0-12-122950-5
Altri numeri di controllo (DLC)79-51693 |
| Fa parte della collezione: |
ACM monograph series |
| Coautore: |
Strother Moore, J. (1947-....) scheda di autorità |
| Classificazione Dewey: |
004 ed.22 Elaborazione dei dati; scienza degli elaboratori; informatica |
| Lingua della pubblicazione: |
Inglese |
| Paese di pubblicazione: |
Stati Uniti d'America ; Regno Unito ; Australia ; Giappone ; Canada |
| Codice identificativo: |
IT/ItRC/00015850 |
| data di creazione: |
02-05-2014 |
| data di aggiornamento: |
07-05-2014 |
 |
Copertina, frontespizio, indice |
Lista sintetica
CNR - Area della Ricerca di Genova Servizio di Documentazione Scientifica
SEI QUI: HOME
SCHEDA BIBLIOGRAFICA
