|
by D'Avila Garcez, Artur S., Lamb, Luís C., Gabbay, Dov M.
Published 2009
“..., including modal, temporal, and epistemic logics. By using a graphical presentation, it explains neural...”Published 2009
Springer Berlin Heidelberg