gefundene Verfasser Newsome, I M

Crossley, John Newsome
Poernomo, Iman Hafiz
Wirsing, Martin 1948-
Cavadini, Catherine
Cavadini, John C.
Alle anzeigen »
DeLorenzo, Leonard J.
Gardner, Patrick X.
Imbelli, Robert P. 1939-
Murphy, Francesca Aran 1960-
Newsome Martin, Jennifer

Treffer 1 - 3 von 3 für Suche 'Newsome, I M', Suchdauer: 0,22s 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
    Gift to the church and the world Fifty Years of Joseph Ratzinger's Introduction to Christianity

    Gift to the church and the world Fifty Years of Joseph Ratzinger's Introduction to Christianity von Voderholzer, Rudolf 1959-, Schenk, Richard 1951-, Rowland, Tracey 1963-, O'Regan, Cyril 1952-, Pidel, Aaron 1978-, Cavadini, Catherine, Pagliardini, Anthony J., Sciglitano, Anthony C. Jr, Imbelli, Robert P. 1939-, Murphy, Francesca Aran 1960-, Gardner, Patrick X., DeLorenzo, Leonard J., O'Malley, Timothy Patrick, Sedmak, Clemens 1971-, Newsome Martin, Jennifer

    Veröffentlicht 2021
    Buch

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