|
scheda bibliografica validata  |
| Tipo: |
Testo a stampa, Monografia |
| Titolo: |
Vol. 2: Deductive systems |
| Pubblicazione: |
Reading (Massachusetts) ; Menlo Park (California) ; New York ; Don Mills (Ontario) ; Wokingham (England) ; Amsterdam ; Bonn ; Sydney ; Singapore ; Tokyo ; Madrid ; San Jaun : Addison-Wesley, ©1990 |
| Descrizione fisica: |
xiii, 642 p. ; 25 cm |
| Titolo uniforme: |
The logical basis for computer programming. Vol. 2, Deductive systems |
| Numeri standard: |
ISBN 0-201-18261-0
Altri numeri di controllo (DLC)84-20346 |
| Fa parte della collezione: |
Addison-Wesley Series in Computer Science |
| Č parte di: |
The logical basis for computer programming ; 2 |
| Classificazione Dewey: |
160 ed.22 Logica
510 ed.22 Matematica |
| Lingua della pubblicazione: |
Inglese |
| Paese di pubblicazione: |
Stati Uniti d'America ; Canada ; Regno Unito ; Paesi Bassi ; Germania ; Australia ; Singapore ; Giappone ; Spagna ; Argentina |
| Codice identificativo: |
IT/ItRC/00310809 |
| data di creazione: |
28-10-2014 |
| data di aggiornamento: |
30-10-2014 |
  |
Copertina, frontespizio, indice |
Lista sintetica
CNR - Area della Ricerca di Genova Servizio di Documentazione Scientifica
SEI QUI: HOME
SCHEDA BIBLIOGRAFICA
