共 57 条
[1]
[Anonymous], 1970, MODERN APPL ALGEBRA
[2]
[Anonymous], 1990, HDB THEORETICAL COMP
[3]
ARDEN BW, 1980, WHAT CAN BE AUTOMATE, P139
[4]
Asperti Andrea, 1991, Categories, Types, and Structures
[5]
ASPRAY W, 1992, COMPUTING SERVANT SC
[6]
BIRKHOFF G, 1971, COMPUTERS ALGEBRA NU, P1
[7]
BRAFFORT P, 1963, COMPUTER PROGRAMM ED, P33
[8]
BROOKS FP, 1986, INFORMATION PROCESSI, V86, P1069
[9]
BROOKS P, 1995, MYTHICAL MAN MONTH E, pCH16
[10]
BUSH V, 1990, ENDLESS FRONTIER REP