共 50 条
- [31] THE LOGIC OF THE DEVELOPMENT OF THE WORLD-VIEW PAST AND PRESENT FILOSOFICKY CASOPIS, 1986, 34 (04): : 545 - 559
- [32] Temporal Stream Logic: Synthesis Beyond the Bools COMPUTER AIDED VERIFICATION, CAV 2019, PT I, 2019, 11561 : 609 - 629
- [34] SATISFIABILITY DEGREE THEORY FOR TEMPORAL LOGIC ECTA 2011/FCTA 2011: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EVOLUTIONARY COMPUTATION THEORY AND APPLICATIONS AND INTERNATIONAL CONFERENCE ON FUZZY COMPUTATION THEORY AND APPLICATIONS, 2011, : 497 - 500
- [40] The New Zealand Journal of Forestry - Past, present and beyond New Zealand J. For., 2006, 4 (3-7):