Suchergebnisse - Ghilezan, Silvia

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

    27th International Conference on Types for Proofs and Programs: TYPES 2021, June 14–18, 2021, Leiden, The Netherlands (Virtual Conference)

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Ghilezan, Silvia …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    22nd International Conference on Types for Proofs and Programs: TYPES 2016, May 23–26, 2016, Novi Sad, Serbia

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Ghilezan, Silvia …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Logic in computer science II

    Veröffentlicht 2015
    Weitere beteiligte Personen: “… Ghilezan, Silvia …”
    Buch


    Gespeichert in:

Suchwerkzeuge: