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
|