Suchergebnisse - Goubault-Larrecq, Jean

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

    Non-Hausdorff topology and domain theory
    von Goubault-Larrecq, Jean

    Veröffentlicht 2013
    Online lesen
    E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Non-Hausdorff topology and domain theory
    von Goubault-Larrecq, Jean

    Veröffentlicht 2013
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Non-Hausdorff topology and domain theory: [selected topics in point-set topology]
    von Goubault-Larrecq, Jean

    Veröffentlicht 2013
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Proof theory and automated deduction
    von Goubault-Larrecq, Jean, Mackie, Ian

    Veröffentlicht 1997
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    29th EACSL Annual Conference on Computer Science Logic: CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Goubault-Larrecq, Jean …”
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Foundations of software science and computation structures: 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, proceedings

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Goubault-Larrecq, Jean …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    Foundations of software science and computation structures: 23rd international conference FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Goubault-Larrecq, Jean …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: