Treffer 1 - 14 von 14 für Suche 'Primiero, Giuseppe', Suchdauer: 0,23s Treffer weiter einschränken
  1. 1
    On the foundations of computing
    von Primiero, Giuseppe
    Veröffentlicht 2020
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Information and knowledge : a constructive type-theoretical approach
    von Primiero, Giuseppe
    Veröffentlicht 2008
    Inhaltsverzeichnis
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    On the foundations of computing
    von Primiero, Giuseppe
    Veröffentlicht 2020
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Information and knowledge : a constructive type-theoretical approach
    von Primiero, Giuseppe
    Veröffentlicht 2008
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Information and knowledge : a constructive type-theoretical approach
    von Primiero, Giuseppe
    Veröffentlicht 2008
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Acts of knowledge : history, philosophy and logic ; essays dedicated to Göran Sundholm
    Veröffentlicht 2010
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    A Multi-Agent Depth Bounded Boolean Logic
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Reflections on programming systems : historical and philosophical aspects
    Veröffentlicht 2018
    Inhaltsverzeichnis
    Full Text
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    The realism-antirealism debate in the age of alternative logics
    Veröffentlicht 2011
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Assessing the Quality of Online Reviews Using Formal Argumentation Theory
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Modelling Accuracy and Trustworthiness of Explaining Agents
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Reflections on programming systems : historical and philosophical aspects
    Veröffentlicht 2018
    Inhaltstext
    Volltext
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Logic and Model Checking by Imprecise Probabilistic Interpreted Systems
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Computing with foresight and industry : 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019 : proceedings
    Veröffentlicht 2019
    Inhaltsverzeichnis
    Inhaltstext
    Umschlagtext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: