theorem.

Xueqing Tang Adi Ben-Israel

Published in: Discret. Math. (1997)

Keyphrases

database
von neumann
digital topology
interactive theorem proving
data sets
knowledge base
web services
three dimensional
object recognition
dynamic programming