共 50 条
- [44] DERIVATION OF BOLTZMANNS EQUATION WITH ASSUMPTION OF DETERMINACY .1. PHYSICA, 1964, 30 (03): : 479 - &
- [46] COMPARISON PRINCIPLE FOR AUTOMATIC DERIVATION OF THEOREMS .1. ENGINEERING CYBERNETICS, 1978, 16 (02): : 39 - 49
- [48] THE PSYCHOLOGY OF FORMAL CREATIVENESS .1. 6 FUNDAMENTAL TYPES OF FORMAL EXPRESSION JOURNAL OF GENETIC PSYCHOLOGY, 1946, 69 (01): : 97 - 120
- [49] Formal derivation of functional architectural design PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2004, : 356 - 365
- [50] INTEGRATING BOOLEAN VERIFICATION WITH FORMAL DERIVATION COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS, 1993, 32 : 139 - 146