Using Computation Tree Logic for Intelligent Information Search on the Web.

Published in: Int. J. Comput. Intell. Appl. (2002)

Keyphrases