語系
Omodeo, Eugenio G.
概要
作品: | 2 作品在 3 項出版品 1 種語言 |
---|
書目資訊
On sets and graphsperspectives on logic and combinatorics /
by:
Omodeo, Eugenio G.; Policriti, Alberto.; SpringerLink (Online service); Tomescu, Alexandru I.
(書目-電子資源)
Computational logic and set theoryapplying formalized logic to analysis /
by:
Cantone, Domenico.; Omodeo, Eugenio G.; Schwartz, Jacob T.; SpringerLink (Online service)
(書目-電子資源)
Martin Davis on computability, computational logic, and mathematical foundations
by:
Omodeo, Eugenio G.; Policriti, Alberto.; SpringerLink (Online service)
(書目-電子資源)
主題
Computer logic.
Computer Science, general.
Mathematical Logic and Formal Languages.
Number theory.
Philosophy.
Logic.
Mathematical Logic and Foundations.
Graph theory.
Graph Theory.
Logics and Meanings of Programs.
Combinatorics.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Set theory.
Computer Science.