A logic framework for reasoning with mov
β
MuΓ±oz-Velasco, E.; Burrieza, A.; Ojeda-Aciego, M.
π
Article
π
2014
π
Elsevier Science
π
English
β 377 KB