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