Alberto Policriti

Books by Alberto Policriti

Total count: 4

• 
  Set Theory for ComputingFrom Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

  Springer2001-06-26
• 
  Martin Davis on Computability, Computational Logic, and Mathematical Foundations

  Springer2017-02-09
• 
  On Sets and GraphsPerspectives on Logic and Combinatorics

  Springer2017-05-13
• 
  Computational Intelligence Methods for Bioinformatics and Biostatistics14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, ...

  Springer2019-02-14