Search alternatives:
computation » computational

1
by D'Avila Garcez, Artur S., Lamb, Luís C., Gabbay, Dov M.
Published 2009
Springer Berlin Heidelberg
Subjects: ...Computation by Abstract Devices...