Languages
Policriti, Alberto.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Martin Davis on computability, computational logic, and mathematical foundations
by:
SpringerLink (Online service); Omodeo, Eugenio G.; Policriti, Alberto.
(Language materials, printed)
On sets and graphs = perspectives on logic and combinatorics /
by:
Tomescu, Alexandru I.; Policriti, Alberto.; SpringerLink (Online service); Omodeo, Eugenio G.
(Language materials, printed)
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)
(Language materials, printed)
, [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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Bioinformatics.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Graph Theory.
Computer Science.
Logic.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Algorithms.
Mathematical Logic and Formal Languages.
Combinatorics.
Graph theory.
Set theory.
Artificial Intelligence.
Computing Milieux.
Computers.
Computational Biology/Bioinformatics.
Number theory.
Philosophy.