- Tytuł:
- A Function Elimination Method for Checking Satisfiability of Arithmetical Logics
- Autorzy:
-
Castiglioni, V.
Lanotte, R.
Tini, S. - Data publikacji:
- 2016
- Słowa kluczowe:
-
satisfiability
arithmetic
mathematical formulas
problem solving
substitution - Pokaż więcej
- Dostawca treści:
- BazTech