共 50 条
- [45] THE BOOLEAN-ALGEBRA OF FORMULAS OF 1ST-ORDER LOGIC ANNALS OF MATHEMATICAL LOGIC, 1982, 23 (01): : 27 - 53
- [47] BOOLEAN-ALGEBRA METHOD FOR COMPUTING TERMINAL RELIABILITY IN A COMMUNICATION NETWORK IEEE TRANSACTIONS ON CIRCUIT THEORY, 1973, CT20 (03): : 203 - 211