[7] R.C. Backhouse, P.J. de Bruin, G.R. Malcolm, T.S. Voermans, and J.C.S.P. van der Woude,
160Bibliography[1] C.J.Aarts,R.C.Backhouse,P.Hoogendijk,T.S.Voermans,and J.van der Woude,A Relational Theory of Datatypes.Available via anonymous ftp from ftp.win.tue.nl indirectory pub/math.pr
时间:2023-08-16 热度:13℃