Treffer 1 - 2 von 2 für Suche 'Poernomo, Iman Hafiz', Suchdauer: 0,75s Treffer weiter einschränken
  1. 1
    Adapting proofs-as-programs the Curry-Howard protocol

    Adapting proofs-as-programs the Curry-Howard protocol von Poernomo, Iman Hafiz, Crossley, John Newsome, Wirsing, Martin 1948-

    Veröffentlicht 2005
    DE-91
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Adapting proofs-as-programs the Curry-Howard protocol

    Adapting proofs-as-programs the Curry-Howard protocol von Poernomo, Iman Hafiz, Crossley, John Newsome, Wirsing, Martin 1948-

    Veröffentlicht 2005
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: