gefundene Verfasser LARRECQ

Goubault-Larrecq, Jean
FOSSACS Online
Baier, Christel
Conford, Ellen 1942-2015
EACSL Annual Conference on Computer Science Logic Online
Alle anzeigen »
ETAPS
König, Barbara
Larrecq, John M. 1926-1980
Mackie, Ian

Treffer 1 - 8 von 8 für Suche 'LARRECQ', Suchdauer: 0,46s Treffer weiter einschränken
  1. 1
    Non-Hausdorff topology and domain theory

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

    Veröffentlicht 2013
    Volltext
    E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Non-Hausdorff topology and domain theory

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

    Veröffentlicht 2013
    DE-12
    DE-92
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Non-Hausdorff topology and domain theory [selected topics in point-set topology]

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

    Veröffentlicht 2013
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Proof theory and automated deduction

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

    Veröffentlicht 1997
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    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

    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 Sof...

    Veröffentlicht 2020
    Weitere Verfasser: “… Goubault-Larrecq, Jean …”
    kostenfrei
    kostenfrei
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  6. 6
    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

    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 soft...

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

    Zu den Favoriten
    Gespeichert in:
  7. 7
    29th EACSL Annual Conference on Computer Science Logic CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)

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

    Veröffentlicht 2021
    Weitere Verfasser:
    Volltext
    Volltext
    kostenfrei
    kostenfrei
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Eugene the brave

    Eugene the brave von Conford, Ellen 1942-2015

    Veröffentlicht 1978
    Weitere Verfasser: “… Larrecq, John M. 1926-1980 …”
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: