Filtrera

Ämne
  • (2)

Böcker av Bengt Nordstrom

Sökningen gav 2 träffar.

  1. Types for Proofs and Programs E-bok

    av Thierry Coquand, Peter Dybjer, Bengt Nordstrom, Jan Smith

    E-bok, Engelska, 2003-07-31
    809
    Laddas ned direkt
  2. Advances in Natural Language Processing E-bok

    av Aarne Ranta, Bengt Nordstrom

    E-bok, Engelska, 2008-08-28
    979
    Laddas ned direkt