Proof and Computation.

Sergei I. Adian Lev D. Beklemishev Albert Visser

Published in: J. Log. Comput. (2011)

Keyphrases

artificial intelligence
computer vision
efficient computation
efficiently computing
databases
data mining
cooperative
linear logic