Equational logic as a programming language
- 種類:
- 図書
- 責任表示:
- Michael J. O'Donnell
- 出版情報:
- Cambridge, Mass. : MIT Press, c1985
- 著者名:
- O'Donnell, Michael J. <DA00027925>
- シリーズ名:
- MIT Press series in the foundations of computing <BA0001568X>
- ISBN:
- 9780262150286 [026215028X]
- 注記:
- Bibliography: p. [277]-284
Includes index
類似資料:
Academic Press |
Clarendon Press, Oxford University Press |
Morgan Kaufmann |
North-Holland, Distirbutors for the United States and Canada, Elsevier Science Publishing Company Inc. |
Oxford University Press |
Ablex Publishing |
Birkhäuser |
Springer |
McGraw-Hill Book Co. |
Cambridge University Press |
Elsevier, MIT Press |
Addison-Wesley |