1
Được phát hành 2007
Mục lục: ...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...
lấy văn bản
Điện tử eBook