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 (auth.)
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
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
Topics on real and complex singularities: an introduction
  • DJVU
  • German
  • Year: 1987
  • Author: Alexandru Dimca (auth.)
search