共 50 条
- [21] Logical structures and genus of proofs [J]. ANNALS OF PURE AND APPLIED LOGIC, 2009, 161 (02) : 139 - 149
- [22] Configuration management with logical structures [J]. PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1996, : 298 - 307
- [23] LOGICAL STRUCTURES IN FORMAL LANGUAGES [J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 404 - 404
- [25] DATA-BASE DESIGN TECHNIQUES, VOL 1, REQUIREMENTS AND LOGICAL-STRUCTURES - YAO,SB, NAVATHE,SB, WELDON,JL, KUNII,TL [J]. TELECOMMUNICATION JOURNAL, 1983, 50 (07): : 379 - 379
- [27] Logical analysis of data with decomposable structures [J]. THEORETICAL COMPUTER SCIENCE, 2002, 289 (02) : 977 - 995
- [28] INTUITIONISTIC LOGICAL CONNECTIVES ON LINEAR STRUCTURES [J]. MATHEMATICAL NOTES, 1984, 35 (5-6) : 348 - 355
- [29] Logical analysis of data with decomposable structures [J]. COMPUTING AND COMBINATORICS, PROCEEDINGS, 2000, 1858 : 396 - 406
- [30] Discovering logical structures in digital documents [J]. INTELLIGENT INFORMATION PROCESSING AND WEB MINING, 2004, : 513 - 521