Rezultaty 1 - 1 Rezultaty od 1 Dla wyszukiwania 'Stump, Aaron', Czas wyszukiwania: 0,01s Redukuj rezultaty
  1. 1

    Verified functional programming in Agda od Stump, Aaron

    Wydane 2016
    Available for University of the Philippines Diliman via ACM Digital Library. Click here to access
    Also available remotely for University of the Philippines Diliman via ACM Digital Library. Click here to access thru EZproxy
    Electronic Resource

    Verified functional programming in Agda

Narzędzie wyszukiwania: