共 50 条
- [36] DISCRETE APPROACH TO COMPUTER-ORIENTED CALCULUS [J]. AMERICAN MATHEMATICAL MONTHLY, 1979, 86 (05): : 386 - 391
- [38] Computer-oriented calculi of sequent trees [J]. FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS, 2004, 2942 : 213 - 230
- [40] COMPUTER-ORIENTED ANALYSIS OF TRANSLOCATIONS IN HUMAN CHROMOSOMES [J]. JOURNAL OF CLINICAL INVESTIGATION, 1971, 50 (06): : A26 - &