Unification in Lukasiewicz Logic with a Finite Number of Variab

von Abbadini, Marco
Veröffentlicht in IPMU (18. : 2020 : Lissabon) Information processing and management of uncertainty in knowledge-based systems ; Part 3 (2020)

Logic, language and computation : revised selected papers

Veröffentlicht 2011