Suchergebnisse - International Conference on Types for Proofs and Programs Novi Sad

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

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

    Veröffentlicht 2018
    “… International Conference on Types for Proofs and Programs Novi Sad …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: