( en | de | ru )

 

Disambiguierung von "Hasegawa, Ryuzo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
List Processing with a Data Flow Machine.

, , und . RIMS Symposium on Software Science and Engineering, Volume 147 von Lecture Notes in Computer Science, Seite 165-190. Springer, (1982)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Noboru Hasegawa

Masahito Hasegawa

Shuichi Hasegawa

 

Weitere Publikationen von Autoren mit dem selben Namen

Proof Simplification for Model Generation and Its Applications., und . LPAR, Volume 1955 von Lecture Notes in Computer Science, Seite 96-113. Springer, (2000)Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers., , und . IWAR, Volume A-19 von IFIP Transactions, Seite 221-238. North-Holland, (1992)Model Generation Theorem Provers on a Parallel Inference Machine., , , und . FGCS, Seite 357-375. IOS Press, (1992)MGTP: A Parallel Theorem Prover Based on Lazy Model Generation., , und . CADE, Volume 607 von Lecture Notes in Computer Science, Seite 776-780. Springer, (1992)Evaluating Reranking Methods using Wikipedia Features., , , , und . ICAART (1), Seite 376-381. SciTePress, (2011)Model Generation with Boolean Constraints., , und . LPAR, Volume 2250 von Lecture Notes in Computer Science, Seite 299-308. Springer, (2001)A Method for Query Expansion Using the Related Word Extraction Algorithm., , , , , und . Web Intelligence/IAT Workshops, Seite 41-44. IEEE Computer Society, (2008)978-0-7695-3496-1.MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications., , und . TABLEAUX, Volume 1227 von Lecture Notes in Computer Science, Seite 1-15. Springer, (1997)A Model Generation Based Theorem Prover MGTP for First-Order Logic., , , und . Computational Logic: Logic Programming and Beyond, Volume 2408 von Lecture Notes in Computer Science, Seite 178-213. Springer, (2002)Efficient Minimal Model Generation Using Branching Lemmas., , und . CADE, Volume 1831 von Lecture Notes in Computer Science, Seite 184-199. Springer, (2000)