An improvement of Herbrand&#39;s theorem and its application to model generation theorem proving

Publication Information

Title

Japanese:	An improvement of Herbrand's theorem and its application to model generation theorem proving
English:	An improvement of Herbrand's theorem and its application to model generation theorem proving

Author

Japanese:	Yu-Yan Chao, Li-Feng He, Tsuyoshi Nakamura, Zheng-Hao Shi, 鈴木賢治, Hidenori Itoh.
English:	Yu-Yan Chao, Li-Feng He, Tsuyoshi Nakamura, Zheng-Hao Shi, Kenji Suzuki, Hidenori Itoh.

Language

English

Journal/Book name

Japanese:	Journal of Computer Science and Technology
English:	Journal of Computer Science and Technology

Volume, Number, Page

Vol. 22 No. 4 pp. 541-553

Published date

July 2007

Publisher

Japanese:
English:

Conference name

Japanese:
English:

Conference site

Japanese:
English:

Official URL

DOI