查詢 au:Gabbay, Dov M., ,共 2 筆
-
10 0 0 0 0
Handbook of logic in artificial intelligence and logic programming.Volume 5,Logic programming
- 作者: Gabbay, Dov M.,
- 出版: Oxford :Oxford ;New York : Clarendon Press ;Oxford University Press 1998.
- 資料類型: 電子書
-
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.
- 資料類型: 電子書