語系
Makinson, David.
概要
作品: | 2 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Sets, logic and maths for computing
by:
Makinson, David.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Sets, Logic and Maths for Computing
by:
SpringerLink (Online service); Makinson, David.
(書目-語言資料,印刷品)
Sets, Logic and Maths for Computing
by:
Makinson, David.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Towards mathematical philosophy : = papers from the studia logica conference trends in logic IV /
by:
Makinson, David.; Wansing, Heinrich.; Malinowski, Jacek.
(書目-語言資料,印刷品)
Towards mathematical philosophy = papers from the Studia Logica Conference Trends in Logic IV /
by:
Makinson, David.; SpringerLink (Online service); Malinowski, Jacek.; Wansing, Heinrich.
(書目-語言資料,印刷品)
主題
Mathematical logic.
Computer science—Mathematics.
Computer mathematics.
Symbolic and Algebraic Manipulation.
Mathematical Logic and Foundations..
Computational Linguistics.
Logic, Symbolic and mathematical
Discrete Mathematics.
Mathematics
Computational Science and Engineering.
Computational complexity
Discrete Mathematics in Computer Science.
Computer Science.
Logic.
Computer science
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Arithmetic and Logic Structures.
Probability and Statistics in Computer Science.
Computational Mathematics and Numerical Analysis.
Mathematics.
Discrete mathematics.