共 50 条
- [21] Binary decision diagrams for first-order predicate logic JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2003, 57 (1-2): : 1 - 22
- [22] Temporal Qualification and Change with First-Order Binary Predicates FORMAL ONTOLOGY IN INFORMATION SYSTEMS, 2006, 150 : 155 - 166
- [26] Prediction of β-turns in proteins using the first-order Markov models JOURNAL OF CHEMICAL INFORMATION AND COMPUTER SCIENCES, 2002, 42 (01): : 123 - 133
- [28] On first-order Markov modeling for block errors on fading channels IEEE 55TH VEHICULAR TECHNOLOGY CONFERENCE, VTC SPRING 2002, VOLS 1-4, PROCEEDINGS, 2002, : 1336 - 1339
- [29] SIMULATION OF GAMMA-DISTRIBUTED FIRST-ORDER MARKOV CHAIN TRANSACTIONS-AMERICAN GEOPHYSICAL UNION, 1973, 54 (12): : 1296 - 1296