Treffer 1 – 12 von 12 für Suche 'Omodeo, Eugenio', Suchdauer: 0,06s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    On sets and graphs perspectives on logic and combinatorics

    On sets and graphs perspectives on logic and combinatorics von Omodeo, Eugenio G., Policriti, Alberto, Tomescu, Alexandru I.

    Veröffentlicht 2017
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Computational logic and set theory applying formalized logic to analysis

    Computational logic and set theory applying formalized logic to analysis von Schwartz, Jacob T. 1930-2009, Cantone, Domenico, Omodeo, Eugenio

    Veröffentlicht 2011
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Computational logic and set theory applying formalized logic to analysis

    Computational logic and set theory applying formalized logic to analysis von Schwartz, Jacob T. 1930-2009, Cantone, Domenico, Omodeo, Eugenio

    Veröffentlicht 2011
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    On sets and graphs perspectives on logic and combinatorics

    On sets and graphs perspectives on logic and combinatorics von Omodeo, Eugenio G., Policriti, Alberto, Tomescu, Alexandru I.

    Veröffentlicht 2018
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Computable set theory

    Computable set theory von Cantone, Domenico, Ferro, Alfredo 1951-, Omodeo, Eugenio

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Set theory for computing from decision procedures to declarative programming with sets

    Set theory for computing from decision procedures to declarative programming with sets von Cantone, Domenico, Omodeo, Eugenio, Policriti, Alberto

    Veröffentlicht 2001
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Set Theory for Computing From Decision Procedures to Declarative Programming with Sets

    Set Theory for Computing From Decision Procedures to Declarative Programming with Sets von Cantone, Domenico, Omodeo, Eugenio, Policriti, Alberto

    Veröffentlicht 2001
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Computable set theory

    Computable set theory von Cantone, Domenico, Ferro, Alfredo 1951-, Omodeo, Eugenio

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Decidability and proof procedures for set theory with a choice operator

    Decidability and proof procedures for set theory with a choice operator von Omodeo, Eugenio G.

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Computable set theory

    Computable set theory von Cantone, Domenico, Ferro, Alfredo 1951-, Omodeo, Eugenio

    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Computable set theory

    Computable set theory von Cantone, Domenico, Ferro, Alfredo 1951-, Omodeo, Eugenio

    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Martin Davis on Computability, Computational Logic, and Mathematical Foundations

    Martin Davis on Computability, Computational Logic, and Mathematical Foundations

    Veröffentlicht 2016
    Weitere Verfasser: “… Omodeo, Eugenio …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: