Angel Nepomuceno-Fernández
in English
XAbductive reasoning in dynamic epistemic logic
2017
in: Springer handbook of model-based science, Dordrecht : Springer
in English
XAbductive reasoning in dynamic epistemic logic
2017
in: Springer handbook of model-based science, Dordrecht : Springer