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

論文・著書情報

タイトル

和文:	An improvement of Herbrand's theorem and its application to model generation theorem proving
英文:	An improvement of Herbrand's theorem and its application to model generation theorem proving

著者

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

言語

English

掲載誌/書名

和文:	Journal of Computer Science and Technology
英文:	Journal of Computer Science and Technology

巻, 号, ページ

Vol. 22 No. 4 pp. 541-553

出版年月

2007年7月

出版者

和文:
英文:

会議名称

和文:
英文:

開催地

和文:
英文:

公式リンク

DOI