Login / Signup

An Improvement of Herbrand's Theorem and Its Application to Model Generation Theorem Proving.

Yuyan ChaoLifeng HeTsuyoshi NakamuraZhenghao ShiKenji SuzukiHidenori Itoh
Published in: J. Comput. Sci. Technol. (2007)
Keyphrases