Home Advanced Search

Advanced Search - Page 1

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.)
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.)
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.)
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
  • PDF
  • English
  • Year: 2011
  • Author: Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo (auth.)
Artificial Intelligence and Symbolic Computation: International Conference AISC 2000 Madrid, Spain, July 17–19,2000 Revised Papers
  • PDF
  • English
  • Year: 2001
  • Author: Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori (auth.), John A. Campbell, Eugenio Roanes-Lozano (eds.)
search