DUGiDocs
Lang
català
español
English
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
Sign in
UdG users
UdG identification
External users
Reset Password
Browsing by Author
Browsing by Author "Manyà, Felip"
Now showing items 1-2 of 2
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
2016-06-01
Article
Ansótegui, Carlos
Bofill Arasa, Miquel
Manyà, Felip
Villaret i Ausellé, Mateu
New complexity results for Łukasiewicz logic
2018-07-11
Article
Bofill Arasa, Miquel
Manyà, Felip
Vidal, Amanda
Villaret i Ausellé, Mateu
Now showing items 1-2 of 2
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
idioma
català
español
English
Contacte
Avís Legal