HNN Extensions of Inverse Semigroups and Applications.

Akihiro Yamamura

Published in: Int. J. Algebra Comput. (1997)

Keyphrases

genetic algorithm
artificial intelligence
computer vision
case study
real time
neural network
first order logic
efficient implementation
default logic
default theories