Languages
Makinson, David.
Overview
Works: | 2 works in 1 publications in 1 languages |
---|
Titles
Sets, logic and maths for computing
by:
Makinson, David.; SpringerLink (Online service)
(Language materials, printed)
Sets, Logic and Maths for Computing
by:
SpringerLink (Online service); Makinson, David.
(Language materials, printed)
Sets, Logic and Maths for Computing
by:
Makinson, David.; SpringerLink (Online service)
(Language materials, printed)
, [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.
(Language materials, printed)
Towards mathematical philosophy = papers from the Studia Logica Conference Trends in Logic IV /
by:
Makinson, David.; SpringerLink (Online service); Malinowski, Jacek.; Wansing, Heinrich.
(Language materials, printed)
Subjects
Mathematical logic.
Computer mathematics.
Computer science—Mathematics.
Symbolic and Algebraic Manipulation.
Mathematical Logic and Foundations..
Computational Linguistics.
Computer Science.
Logic.
Computer science
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Probability and Statistics in Computer Science.
Computational Mathematics and Numerical Analysis.
Mathematics.
Discrete mathematics.
Logic, Symbolic and mathematical
Discrete Mathematics.
Mathematics
Computational Science and Engineering.
Computational complexity
Discrete Mathematics in Computer Science.
Arithmetic and Logic Structures.