Suchergebnisse - Studer, Thomas 1972-

  • Treffer 1 – 8 von 8
Treffer filtern
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6

    Advances in proof theory

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Studer, Thomas 1972- …”
    Online lesen
    Inhaltsverzeichnis
    Elektronisch Tagungsbericht E-Book
  7. 7

    Logic, language, information, and computation: 30th international workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, proceedings

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Studer, Thomas 1972- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book
  8. 8

    Advances in proof theory

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Studer, Thomas 1972- …”
    Inhaltsverzeichnis
    Per Fernleihe bestellen
    Tagungsbericht Buch