Modal analysis and proof of a novel ultrasonic motor.

Puu-An Juang Ching-Chih Tsai

Published in: Int. J. Autom. Control. (2007)

Keyphrases

real world
linear logic
theorem proving
data mining
genetic algorithm
artificial intelligence
image processing
theorem prover
logical rules
automated theorem provers