1
Udgivet 2007
Indholdsfortegnelse: ...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...
Få fuldtekst
Electronisk eBog