Treffer 1 - 3 von 3 für Suche 'Plotkin, G. 1946-', Suchdauer: 0,26s Treffer weiter einschränken
  1. 1
    Proof, language, and interaction essays in honour of Robin Milner

    Proof, language, and interaction essays in honour of Robin Milner

    Veröffentlicht 2000
    Weitere Verfasser:
    MIT Press
    E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Logical frameworks

    Logical frameworks

    Veröffentlicht 1991
    Weitere Verfasser:
    Volltext
    E-Book

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Logical frameworks

    Logical frameworks

    Veröffentlicht 1991
    Weitere Verfasser:
    DE-12
    DE-92
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: