Suchergebnisse - Omodeo, Eugenio

  • Treffer 1 – 12 von 12
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 2011
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 2017
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 2011
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 2018
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 2001
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 2001
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

    Computable set theory
    Band 1. (1989). - XII, 347 S.
    von Cantone, Domenico, Ferro, Alfredo 1951-, Omodeo, Eugenio

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

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

    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Martin Davis on Computability, Computational Logic, and Mathematical Foundations

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Omodeo, Eugenio …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: