共 50 条
- [24] Algorithms for finding matrix models of propositional calculi 1600, Publ by Kluwer Academic Publishers Group, Dordrecht, Neth (07):
- [25] CRYSTAL-STRUCTURE DETERMINATION OF BILIARY CALCULI MEDECINE & CHIRURGIE DIGESTIVES, 1979, 8 (03): : 195 - 198
- [27] MATRIX REPRESENTATIONS OF CONSEQUENCE OPERATIONS OF LUKASIEWICZS SENTENTIAL CALCULI ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1973, 19 (03): : 239 - 247