( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
List Processing with a Data Flow Machine.

, , и . RIMS Symposium on Software Science and Engineering, том 147 из Lecture Notes in Computer Science, стр. 165-190. Springer, (1982)

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.

Noboru Hasegawa

Masahito Hasegawa

Shuichi Hasegawa

 

Другие публикации лиц с тем же именем

Proof Simplification for Model Generation and Its Applications., и . LPAR, том 1955 из Lecture Notes in Computer Science, стр. 96-113. Springer, (2000)Model Generation Theorem Provers on a Parallel Inference Machine., , , и . FGCS, стр. 357-375. IOS Press, (1992)MGTP: A Parallel Theorem Prover Based on Lazy Model Generation., , и . CADE, том 607 из Lecture Notes in Computer Science, стр. 776-780. Springer, (1992)Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers., , и . IWAR, том A-19 из IFIP Transactions, стр. 221-238. North-Holland, (1992)Evaluating Reranking Methods using Wikipedia Features., , , , и . ICAART (1), стр. 376-381. SciTePress, (2011)Problem-Solving and Inference Software.. FGCS, стр. 54-69. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)On the Relationship Between Non-Horn Magic Sets and Relevancy Testing., , и . CADE, том 1421 из Lecture Notes in Computer Science, стр. 333-348. Springer, (1998)Model Generation with Boolean Constraints., , и . LPAR, том 2250 из Lecture Notes in Computer Science, стр. 299-308. Springer, (2001)A Method for Query Expansion Using the Related Word Extraction Algorithm., , , , , и . Web Intelligence/IAT Workshops, стр. 41-44. IEEE Computer Society, (2008)978-0-7695-3496-1.A Model Generation Based Theorem Prover MGTP for First-Order Logic., , , и . Computational Logic: Logic Programming and Beyond, том 2408 из Lecture Notes in Computer Science, стр. 178-213. Springer, (2002)