共 7 条
- [1] Brayton R.K., 1984, LOGIC MINIMIZATION A
- [2] LOGIC PROGRAMMING AND DIGITAL CIRCUIT ANALYSIS [J]. JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (01): : 59 - 82
- [3] LIPSETT, 1989, VHDL HARDWARE DESCRI
- [4] O'Keefe, 1990, CRAFT PROLOG
- [5] LOGIC PROGRAMMING AND COMPILER WRITING [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1980, 10 (02) : 97 - 125
- [6] 1990, J LOGIC PROGRAM, V8, P5
- [7] 1990, PREDITOR PROLOG BASE, pCH3