An Improvement on Sub-Herbrand Universe Computation

Publication Information

Title

Japanese:	An Improvement on Sub-Herbrand Universe Computation
English:	An Improvement on Sub-Herbrand Universe Computation

Author

Japanese:	He, L., Chao, Y., 鈴木賢治, Shi, Z., Itoh, H..
English:	He, L., Chao, Y., Kenji Suzuki, Shi, Z., Itoh, H..

Language

English

Journal/Book name

Japanese:	The Open Artificial Intelligence Journal
English:	The Open Artificial Intelligence Journal

Volume, Number, Page

Vol. 1 pp. 12-18

Published date

2007

Publisher

Japanese:
English:

Conference name

Japanese:
English:

Conference site

Japanese:
English:

DOI