※一部利用できない機能があります
Computability theory, semantics, and logic programming
- フォーマット:
- 図書
- 責任表示:
- Melvin Fitting
- 言語:
- 英語
- 出版情報:
- New York : Oxford University Press
Oxford : Clarendon Press, 1987 - 形態:
- xi, 198 p. ; 25 cm
- 著者名:
- Fitting, Melvin Chris <DA00998822>
- シリーズ名:
- Oxford logic guides ; 13 <BA00017765>
- 書誌ID:
- BA00503785
- ISBN:
- 9780195036916 [0195036913]
類似資料:
McGraw-Hill |
MIT Press |
Springer |
Kluwer Academic Publishers |
Springer |
Oxford University Press |
Academic Press |
Harvard University Press |
Springer-Verlag |
North-Holland |