※一部利用できない機能があります
Edinburgh LCF : a mechanised logic of computation
- フォーマット:
- 図書
- 責任表示:
- Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth
- 言語:
- 英語
- 出版情報:
- Berlin ; New York : Springer-Verlag, 1979
- 形態:
- viii, 159 p. ; 25 cm
- 著者名:
- シリーズ名:
- Lecture notes in computer science ; 78 <BA00009279>
- 書誌ID:
- BA07298877
- ISBN:
- 9783540097242 [3540097244] (: gw)
9780387097244 [0387097244] (: us)
類似資料:
Springer-Verlag |
Chapman and Hall |
Cambridge University Press | |
Cambridge University Press |
MIT Press |
Academic Press |
Springer-Verlag |
Prentice Hall International |
Clarendon Press |
Halsted Press, Ellis Horwood Ltd |