Biblioteksøk

Vis søkeskjema

4 treff

Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings

International Conference on Mathematical Knowledge Management
Bok Engelsk 2004

Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings

International Conference on Mathematical Knowledge Management
Bok Engelsk 2003

The optimal implementation of functional programming languages

Andrea Asperti, Stefano Guerrini
Bok Engelsk 1998

Categories, types, and structures : an introduction to category theory for the working computer scientist

Andrea Asperti, Giuseppe Longo
Bok Engelsk 1991

Velg språk

English
Nynorsk
Davvisámegillii
Valgt språk:Bokmål