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.
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.