共 50 条
- [41] On the Parameterized Complexity of Learning First-Order Logic PROCEEDINGS OF THE 41ST ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (PODS '22), 2022, : 337 - 346
- [42] Complexity of Existential Positive First-Order Logic MATHEMATICAL THEORY AND COMPUTATIONAL PRACTICE, 2009, 5635 : 31 - 36
- [45] First-order differential power analysis on the duplication method PROGRESS IN CRYPTOLOGY - INDOCRYPT 2007, 2007, 4859 : 210 - 223
- [47] AUTOMATIC SOLVING OF DIFFERENTIAL EQUATIONS OF FIRST-ORDER BY METHOD OF DEVELOPMENT IN TAYLOR SERIES REVUE FRANCAISE D AUTOMATIQUE INFORMATIQUE RECHERCHE OPERATIONNELLE, 1972, 6 (SEP): : 161 - 179
- [49] Second Derivative Multistep Method For Solving First-Order Ordinary Differential Equations INNOVATIONS THROUGH MATHEMATICAL AND STATISTICAL RESEARCH: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON MATHEMATICAL SCIENCES AND STATISTICS (ICMSS2016), 2016, 1739