語系
跳至 : 概要 | 書目資訊 | 主題

Gabbay, Dov M., (1945-)

概要
作品: 1 作品在 3 項出版品 1 種語言
書目資訊
Handbook of philosophical logic / by: Gabbay, Dov M., (1945-); Guenthner, Franz. (書目-語言資料,印刷品)
Sets and extensions in the twentieth century / by: Gabbay, Dov M., (1945-); Kanamori, Akihiro.; Woods, John (書目-電子資源)
Handbook of the history of logic.. Vol. 11,. Logic: a history of its central concepts / by: Gabbay, Dov M., (1945-); Pelletier, Francis Jeffry, (1944-) (書目-電子資源)
Quantification in nonclassical logic / by: Gabbay, Dov M., (1945-); Shehtman, V. B.; Skvortsov, D. P. (書目-語言資料,印刷品)
Handbook of logic in computer science / by: Abramsky, Samson, (1953-); Gabbay, Dov M., (1945-); Maibaum, Thomas S. E., (1947-) (書目-語言資料,印刷品)
Handbook of logic in computer science.. Volume 5,. Logic and algebraic methods by: Abramsky, Samson, (1953-); Gabbay, Dov M., (1945-); Maibaum, Thomas S. E., (1947-); NetLibrary, Inc. (書目-語言資料,印刷品)
Goal-directed proof theory / by: Gabbay, Dov M., (1945-); Olivetti, Nicola. (書目-語言資料,印刷品)
Handbook of the history of logic / by: Gabbay, Dov M., (1945-); Woods, John (書目-語言資料,印刷品)
Handbook of quantum logic and quantum structures : = quantum structures / by: Gabbay, Dov M., (1945-); Engesser, Kurt.; Lehmann, Daniel, (1946-) (書目-語言資料,印刷品)
Handbook of logic in artificial intelligence and logic programming / by: Gabbay, Dov M., (1945-); Hogger, Christopher John.; Robinson, J.A. (書目-語言資料,印刷品)
更多
 
 
變更密碼
登入