共 50 条
- [1] DEDUCTIVE REFINEMENT OF SPECIES LABELLING IN WEAKLY LABELLED BIRDSONG RECORDINGS 2017 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), 2017, : 656 - 660
- [4] THE PARTITION MODEL - A DEDUCTIVE DATABASE MODEL ACM TRANSACTIONS ON DATABASE SYSTEMS, 1987, 12 (01): : 1 - 37
- [5] A MODEL FOR MANIPULATION OF DEDUCTIVE DATABASES IRISH JOURNAL OF PSYCHOLOGY, 1993, 14 (03): : 505 - 507
- [6] ANOTHER DEFENSE OF DEDUCTIVE MODEL SOUTHWESTERN JOURNAL OF PHILOSOPHY, 1976, 7 (01): : 111 - 117
- [8] THE DEDUCTIVE MODEL - DOES IT HAVE INSTANCES MINNESOTA STUDIES IN THE PHILOSOPHY OF SCIENCE, 1983, 10 : 299 - 312
- [9] Verifying Invariants by Deductive Model Checking REWRITING LOGIC AND ITS APPLICATIONS, WRLA 2024, 2024, 14953 : 3 - 21