|
by D'Avila Garcez, Artur S., Lamb, Luís C., Gabbay, Dov M.
Published 2009
Subjects:
“...Computer science...”Published 2009
Springer Berlin Heidelberg
- 1
- 2