Home Advanced Search

Advanced Search - Page 1

On Sets and Graphs: Perspectives on Logic and Combinatorics
  • PDF
  • english
  • Year: 2017
  • Author: Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu
On Sets and Graphs: Perspectives on Logic and Combinatorics
  • PDF
  • English
  • Year: 2017
  • Author: Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu
On Sets and Graphs: Perspectives on Logic and Combinatorics
  • PDF
  • English
  • Year: 2017
  • Author: Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu (auth.)
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
  • PDF
  • English
  • Year: 2016
  • Author: Eugenio G. Omodeo, Alberto Policriti (eds.)
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
  • PDF
  • English
  • Year: 2016
  • Author: Eugenio G. Omodeo, Alberto Policriti (eds.)
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets
  • PDF
  • English
  • Year: 2001
  • Author: Domenico Cantone, Eugenio Omodeo, Alberto Policriti
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
  • PDF
  • English
  • Year: 2011
  • Author: Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo (auth.)
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
  • PDF
  • English
  • Year: 2011
  • Author: Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo (auth.)
Genome-Scale Algorithm Design: Bioinformatics in the Era of High-Throughput Sequencing
  • PDF
  • English
  • Year: 2023
  • Author: Veli Mäkinen, Djamal Belazzougui, Fabio Cunial, Alexandru I. Tomescu
Computational Intelligence Methods for Bioinformatics and Biostatistics: 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers
  • PDF
  • English
  • Year: 2019
  • Author: Massimo Bartoletti, Annalisa Barla, Andrea Bracciali, Gunnar W. Klau, Leif Peterson, Alberto Policriti, Roberto Tagliaferri
search