Logics for approximate and strong entail
β
Francesc Esteva; LluΓs Godo; Ricardo O. RodrΓguez; Thomas Vetterlein
π
Article
π
2012
π
Elsevier Science
π
English
β 227 KB