共 33 条
- [1] ABRIAL JR, 1974, IFIP TC, V2
- [2] BATTANI G, 1973, INTERPRETEUR PROLOG
- [3] BOBROW D, 1979, REV COGNITIVE SCI, V1, P24
- [4] BONNET A, 1981, REV AUTOMATIQUE INFO, V15, P4
- [5] COELHO H, 1980, HOW SOLVE IT PROLOG
- [6] DESCOTTES Y, 1981, THESIS IMAG GRENOBLE, P1
- [7] DINCBAS M, 1980, 1980 P IFIP TOK, P705
- [8] DINCBAS M, 1980, CERTDERI3146 RAPP
- [9] DUDA RO, 1982, SRI8172 FIN REP
- [10] DUDA RO, 1982, BYTE 6, V9, P238