Suchergebnisse - Cantone, Domenico

  • 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

    An introduction to the technique of formative processes in set theory
    von Cantone, Domenico, Ursino, Pietro

    Veröffentlicht 2018
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    An Introduction to the Technique of Formative Processes in Set Theory
    von Cantone, Domenico, Ursino, Pietro

    Veröffentlicht 2018
    Buch


    Gespeichert in:
  5. 5
    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:
  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
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  8. 8
    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:
  9. 9
    Buchumschlag

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

    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    From Computational Logic to Computational Biology: Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Cantone, Domenico …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  12. 12
    Buchumschlag

    18th International Symposium on Experimental Algorithms: SEA 2020, June 16–18, 2020, Catania, Italy

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Cantone, Domenico …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: