- Tytuł:
- From arithmetic expressions to propositional formulae
- Autorzy:
-
Stępień, L.
Stępień, M. R. - Data publikacji:
- 2016
- Słowa kluczowe:
-
algebra liniowa
programowanie deklaratywne
SAT solver
linear algebra
declarative programming - Pokaż więcej
- Dostawca treści:
- BazTech