語系
Abramsky, Samson, (1953-)
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Handbook of logic in computer science /
by:
Abramsky, Samson, (1953-); Gabbay, Dov M., (1945-); Maibaum, Thomas S. E., (1947-)
(書目-語言資料,印刷品)
Samson Abramsky on logic and structure in computer science and beyond
by:
Palmigiano, Alessandra.; Sadrzadeh, Mehrnoosh.; SpringerLink (Online service)
(書目-電子資源)
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.
(書目-語言資料,印刷品)
主題
Logic.
Logic, Symbolic and mathematical.
Informatique.
Abramsky, Samson,
Computer architecture.
Mathematics.
Logique symbolique et math歋matique.
Linguistics.
Logica e semantica de programacao.
Philosophical Logic.
Computer science.
Ciencia da computacao ou informatica.
Computer Science.
Mathematical Logic in Philosophy.