Treffer 1 - 8 von 8 für Suche 'Florim Hamiti', Suchdauer: 0,42s Treffer weiter einschränken
  1. 1
    The Model Counting Competition 2020

    The Model Counting Competition 2020 von Fichte, Johannes K., Hecher, Markus, Hamiti, Florim


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    SALUS-A Study on Self-Tonometry for Glaucoma Patients: Design and Implementation of the Electronic Case File

    SALUS-A Study on Self-Tonometry for Glaucoma Patients: Design and Implementation of the Electronic Case File von Geisler, Sandra, Oldiges, Kristina, Hamiti, Florim, Storp, Jens J, Masud, M A, Zimmermann, Julian A, Kreutter, Stefan, Eter, Nicole, Berlage, Thomas

    Veröffentlicht in Applied clinical informatics

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A Quantitative Symbolic Approach to Individual Human Reasoning

    A Quantitative Symbolic Approach to Individual Human Reasoning von Dietz, Emmanuelle, Fichte, Johannes K, Hamiti, Florim

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    The Model Counting Competition 2020

    The Model Counting Competition 2020 von Fichte, Johannes K, Hecher, Markus, Hamiti, Florim

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Model Counting Competition 2020: Competition Instances

    Model Counting Competition 2020: Competition Instances von Johannes K. Fichte, Markus Hecher, Florim Hamiti

    Volltext bestellen
    Dataset

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Model Counting Competition 2020: Submitted Solvers

    Model Counting Competition 2020: Submitted Solvers von Johannes Fichte, Markus Hecher, Florim Hamiti

    Volltext bestellen
    Dataset

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Model Counting Competition 2020: Full Instance Set

    Model Counting Competition 2020: Full Instance Set von Johannes Fichte, Markus Hecher, Florim Hamiti

    Volltext bestellen
    Dataset

    Zu den Favoriten
    Gespeichert in:
  8. 8
    A Quantitative Symbolic Approach to Individual Human Reasoning

    A Quantitative Symbolic Approach to Individual Human Reasoning von Dietz, Emmanuelle, Fichte, Johannes K, Hamiti, Florim

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: