Intensional logics for programming
- 種類:
- 図書
- 責任表示:
- edited by Luis Fariñas del Cerro and Martti Penttonen
- 出版情報:
- Oxford [England] : Clarendon Press
New York : Oxford University Press, 1992 - 著者名:
- シリーズ名:
- Studies in logic and computation ; 1 <BA18651603>
- ISBN:
- 9780198537755 [0198537751]
- 注記:
- Includes bibliographical references
類似資料:
Springer-Verlag |
Springer-Verlag |
Prentice-Hall |
Springer-Verlag |
Academic Press |
Springer-Verlag |
McGraw-Hill | |
Center for the Study of Language and Information |
Springer |
Wiley |
Edinburgh University Press |