Proving based on similarity


Authored By:K. Fujita and M. Harao
Paper Title:Proving based on similarity
Book/Journal Title:Proc. 2nd Int. Workshop on Algorithmic Learning Theory
Publisher:IOS Press
Publication Date: 1992
Pages:213-223