Term satisfiability in FLew-algebras

Autor: Haniková, Zuzana, Savický, Petr
Zdroj: In Theoretical Computer Science 6 June 2016 631:1-15
Databáze: ScienceDirect