語系
Primiero, Giuseppe.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
The realism-antirealism debate in the age of alternative logics
by:
SpringerLink (Online service); Primiero, Giuseppe.; Marion, Mathieu.; Rahman, Shahid.
(書目-語言資料,印刷品)
Computing with Foresight and Industry = 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings /
by:
SpringerLink (Online service); Manea, Florin.; Primiero, Giuseppe.; Martin, Barnaby.; Paulusma, Daniël.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Information and Knowledge = A Constructive Type-theoretical Approach /
by:
Primiero, Giuseppe.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Reflections on Programming Systems = Historical and Philosophical Aspects /
by:
SpringerLink (Online service); Primiero, Giuseppe.; De Mol, Liesbeth.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Reflections on programming systems = historical and philosophical aspects /
by:
SpringerLink (Online service); Primiero, Giuseppe.; De Mol, Liesbeth.
(書目-語言資料,印刷品)
Acts of knowledge : = history, philosophy and logic : essays dedicated to Göran Sundholm /
by:
Primiero, Giuseppe.; Sundholm, Göran.; Rahman, Shahid, (1956-.)
(書目-語言資料,印刷品)
主題
Mathematical logic.
Computer science—Mathematics.
Genetic epistemology.
Computer logic.
Algorithm Analysis and Problem Complexity.
Operating Systems.
Technology—History.
Theory of Computation.
Knowledge, Theory of.
Data Structures.
History of Computing.
Data structures (Computer science).
Logic.
Computer programming
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Algorithms.
Logics and Meanings of Programs.
History of Technology.
History.
Logic, Symbolic and mathematical.
Epistemics.
Computer science.
Philosophy of Technology.
Mathematics
Proof theory.
History of Science.
Operating systems (Computers).
Computers.
Epistemology.
Discrete Mathematics in Computer Science.
Philosophy.
Realism.
Sundholm, Göran.