About Us
Research
People
Publications
Projects
Activities
Society

Login

About Us
Research
People
Publications
Projects
Activities
Society

Publication

Detail

Publication date: 17/08/2017

Automated Reasoning

Authors

Matthias Knorr, Reda Alhajj, Jon Rokne

Share

Publisher	Springer
Publisher	Springer

Home
Events
About Us
News
People
Society

follow us

NOVA School of Science & Technology
Department of Computer Science
Campus de Caparica
2829-516 Caparica
Portugal

nova-lincs.sec@fct.unl.pt
direct +351 212948536
central +351 212948300

NOVA LINCS receives financial support from FCT under the funding:

UIDB/04516/2020 UIDP/04516/2020