|
|
by D'Avila Garcez, Artur S., Lamb, Luís C., Gabbay, Dov M.
Published 2009
“... to computational logicians, and professional specialists on applications of cognitive, hybrid and artificial...”Published 2009
Springer Berlin Heidelberg