Logic of domains / Guo-Qiang Zhang
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Zhang, Guo-Qiang <1960- >
|
| Titolo: |
Logic of domains / Guo-Qiang Zhang
|
| Pubblicazione: | Boston [etc.], : Birkhauser, 1991 |
| Descrizione fisica: | 259 p. ; 24 cm |
| Disciplina: | 005.13 |
| Soggetto topico: | Linguaggi di programmazione - Semantica |
| Logica simbolica | |
| Logica matematica | |
| Note generali: | Bibliografia : P. 251-256. |
| Titolo autorizzato: | Logic of domains |
| ISBN: | 081763570X |
| 376433570X | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | RMS0050126 |
| Lo trovi qui: | Univ. del Sannio |
| Collocazione: | SALA DING 005.13 ZHA.lo |
| Opac: | Controlla la disponibilità qui |
Serie:
Progress in theoretical computer science