查詢 text:Logica e semantica de programacao. ,共 1 筆
查詢再細分
-
- 出版年
- 2000(1)
-
- 語言
- 英語(1)
-
- 作者
- Abramsky, Samson,(1)
- Gabbay, Dov M.,(1)
- Maibaum, Thomas S. E.,(1)
-
- 資料類型
- 電子書(1)
-
4 0 0 0 0
Handbook of logic in computer science.Volume 5,Logic and algebraic methods
- 作者: Abramsky, Samson,
- 出版: Oxford :New York : Clarendon Press ;Oxford University Press 2000.
- 資料類型: 電子書