An Improvement of Herbrand s Theorem and Its Application to Model Generation Theorem Proving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yuyan Chao, Lifeng He, Tsuyoshi Nakamura, Zhenghao Shi, Kenji Suzuki, Hidenori Itoh. An Improvement of Herbrand s Theorem and Its Application to Model Generation Theorem Proving. J. Comput. Sci. Technol., 22(4):541-553, 2007. [doi]

This author has not been identified. Look up 'Yuyan Chao' in GoogleThis author has not been identified. Look up 'Lifeng He' in GoogleThis author has not been identified. Look up 'Tsuyoshi Nakamura' in GoogleThis author has not been identified. Look up 'Zhenghao Shi' in GoogleThis author has not been identified. Look up 'Kenji Suzuki' in GoogleThis author has not been identified. Look up 'Hidenori Itoh' in Google

runs on WebDSL