th right shift operator: an elementary proof.

Published in: Numer. Algorithms (2007)

Keyphrases

theorem proving
theorem prover
real time
linear logic
neural network
data mining
genetic algorithm
image segmentation
three dimensional
multi agent
special case
proof planning