共 50 条
- [41] COUNTER-EXAMPLES FOR LIOUVILLE-TYPE THEOREMS VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1979, (06): : 39 - 43
- [43] Computing Superior Counter-Examples for Conformant Planning THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 10017 - 10024
- [45] Energy Conservation with Non-Symplectic Methods: Examples and Counter-Examples BIT Numerical Mathematics, 2004, 44 : 699 - 709
- [49] On robust discretization methods for poroelastic problems: Numerical examples and counter-examples EXAMPLES AND COUNTEREXAMPLES, 2022, 2
- [50] Partial matching for analogy discovery in proofs and counter-examples AUTOMATED DEDUCTION - CADE-14, 1997, 1249 : 431 - 445