語系
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.
Technology—History.
Theory of Computation.
History of Computing.
Logic.
Computer programming
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Algorithms.
Logics and Meanings of Programs.
History.
Proof theory.
Operating systems (Computers).
Computers.
Philosophy.
Realism.
Sundholm, Göran.
Genetic epistemology.
Computer logic.
Algorithm Analysis and Problem Complexity.
Operating Systems.
Knowledge, Theory of.
Data Structures.
Data structures (Computer science).
History of Technology.
Logic, Symbolic and mathematical.
Epistemics.
Computer science.
Philosophy of Technology.
Mathematics
History of Science.
Epistemology.
Discrete Mathematics in Computer Science.