Logic of domains
Guo-Qiang Zhang
Bok Engelsk 1991
| Utgitt | Boston : Birkhäuser , 1991
|
|---|---|
| Omfang | 259 s. : ill.
|
| Opplysninger | Revisjon av avh. (Ph.D.) - University of Cambridge, 1989.
|
| Emner | Logic, Symbolic and mathematical
Programming languages (Electronic computers) - Semantics Matematisk logikk programmeringsspråk teori |
| ISBN | 081763570X. - 376433570X
|
