語系
Makinson, David.
概要
| 作品: | 3 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV /
by:
Makinson, David.; Malinowski, Jacek.; SpringerLink (Online service); Wansing, Heinrich.
(書目-電子資源)
主題
Logic.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Mathematics
Mathematics.
Computational Science and Engineering.
Computational Linguistics.
Computer science
Computational Mathematics and Numerical Analysis.
Logic, Symbolic and mathematical
Arithmetic and Logic Structures.
Computer Science.
Discrete Mathematics in Computer Science.
Probability and Statistics in Computer Science.
Discrete Mathematics.
Mathematical Logic and Foundations..
Symbolic and Algebraic Manipulation.