語系
Omodeo, Eugenio G.
概要
作品: | 1 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Computational logic and set theory = applying formalized logic to analysis /
by:
Cantone, Domenico.; Schwartz, Jacob T.; Omodeo, Eugenio G.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Martin Davis on computability, computational logic, and mathematical foundations
by:
SpringerLink (Online service); Omodeo, Eugenio G.; Policriti, Alberto.
(書目-語言資料,印刷品)
On sets and graphs = perspectives on logic and combinatorics /
by:
Tomescu, Alexandru I.; Policriti, Alberto.; SpringerLink (Online service); Omodeo, Eugenio G.
(書目-語言資料,印刷品)
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
by:
SpringerLink (Online service); Omodeo, Eugenio G.; Policriti, Alberto.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Graph theory.
Computer logic.
Set theory.
Algorithm Analysis and Problem Complexity.
Graph Theory.
Computer Science, general.
Computer Science.
Logic.
Mathematical Logic and Formal Languages.
Number theory.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Philosophy.
Combinatorics.