查詢 au:"Gabbay, Dov M.," ,共 2 筆
-
7 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.
- 資料類型: 電子書
-
3 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.
- 資料類型: 電子書