語系
Policriti, Alberto.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
Computational Intelligence Methods for Bioinformatics and Biostatistics = 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers /
by:
Bracciali, Andrea.; Barla, Annalisa.; Tagliaferri, Roberto.; Klau, Gunnar W.; Bartoletti, Massimo.; Policriti, Alberto.; Peterson, Leif.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
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.
Bioinformatics.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Computing Milieux.
Graph Theory.
Computers.
Computer Science.
Computational Biology/Bioinformatics.
Logic.
Number theory.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Algorithms.
Mathematical Logic and Formal Languages.
Philosophy.
Combinatorics.
Graph theory.
Set theory.
Artificial Intelligence.