( en | de | ru )

 

Disambiguation of "Hasegawa, Ryuzo"

Author of the publication

copydeleteadd this publication to your clipboard
MGTP: A Parallel Theorem Prover Based on Lazy Model Generation.

, , and . CADE, volume 607 of Lecture Notes in Computer Science, page 776-780. Springer, (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Noboru Hasegawa

Masahito Hasegawa

Shuichi Hasegawa

 

Other publications of authors with the same name

Proof Simplification for Model Generation and Its Applications., and . LPAR, volume 1955 of Lecture Notes in Computer Science, page 96-113. Springer, (2000)Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers., , and . IWAR, volume A-19 of IFIP Transactions, page 221-238. North-Holland, (1992)Model Generation Theorem Provers on a Parallel Inference Machine., , , and . FGCS, page 357-375. IOS Press, (1992)MGTP: A Parallel Theorem Prover Based on Lazy Model Generation., , and . CADE, volume 607 of Lecture Notes in Computer Science, page 776-780. Springer, (1992)Evaluating Reranking Methods using Wikipedia Features., , , , and . ICAART (1), page 376-381. SciTePress, (2011)Problem-Solving and Inference Software.. FGCS, page 54-69. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)On the Relationship Between Non-Horn Magic Sets and Relevancy Testing., , and . CADE, volume 1421 of Lecture Notes in Computer Science, page 333-348. Springer, (1998)Model Generation with Boolean Constraints., , and . LPAR, volume 2250 of Lecture Notes in Computer Science, page 299-308. Springer, (2001)A Model Generation Based Theorem Prover MGTP for First-Order Logic., , , and . Computational Logic: Logic Programming and Beyond, volume 2408 of Lecture Notes in Computer Science, page 178-213. Springer, (2002)MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications., , and . TABLEAUX, volume 1227 of Lecture Notes in Computer Science, page 1-15. Springer, (1997)