共 50 条
- [42] INDUCTIVE ASSERTION METHOD FOR LOGIC PROGRAMS [J]. THEORETICAL COMPUTER SCIENCE, 1988, 59 (1-2) : 133 - 155
- [43] Mechanising BAN Kerberos by the inductive method [J]. COMPUTER AIDED VERIFICATION, 1998, 1427 : 416 - 427
- [46] INDUCTIVE METHOD FOR INVESTIGATING SINGULAR EXTREMALS [J]. AUTOMATION AND REMOTE CONTROL, 1976, 37 (11) : 1651 - 1660
- [47] An Inductive Method to Select Simulation Points [J]. PROCEEDINGS OF 2015 THIRD INTERNATIONAL SYMPOSIUM ON COMPUTING AND NETWORKING (CANDAR), 2015, : 392 - 395
- [48] An Inductive Method to Select Simulation Points [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2016, E99D (12): : 2891 - 2900
- [49] An inductive learning method for medical diagnosis [J]. PATTERN RECOGNITION LETTERS, 2003, 24 (1-3) : 273 - 282