( en | de | ru )

 

Disambiguierung von "Hayashi, Susumu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Semantics of a Graphical Model for Representing Hypotheses and a System Supporting the Management of Hypotheses.

, , , , und . KICSS, Volume 6746 von Lecture Notes in Computer Science, Seite 32-43. Springer, (2010)

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.

Susumu Kuroda

Susumu Shikano

Susumu Iwabuchi

Ken Hayashi

Mutsumi Hayashi

 

Weitere Publikationen von Autoren mit dem selben Namen

Limit-Computable Mathematics and Its Applications., und . CSL, Volume 2471 von Lecture Notes in Computer Science, Seite 1. Springer, (2002)Mathematics Based on Learning.. ALT, Volume 2533 von Lecture Notes in Computer Science, Seite 7-21. Springer, (2002)Games with 1-backtracking., , und . GALOP@ETAPS, Seite 210-225. (2005)A Functional System with Transfinitely Defined Types., und . Logic, Language and Computation, Volume 792 von Lecture Notes in Computer Science, Seite 31-60. Springer, (1994)Towards Limit Computable Mathematics, und . TYPES '00: Selected papers from the International Workshop on Types for Proofs and Program s, Seite 125--144. London, UK, Springer-Verlag, (2002)Towards the animation of proofs - testing proofs by examples., , und . Theor. Comput. Sci., 272 (1-2): 177-195 (2002)Games with 1-backtracking., , und . Ann. Pure Appl. Log., 161 (10): 1254-1269 (2010)PX: a system extracting programs from proofs.. Formal Description of Programming Concepts, Seite 399-424. North-Holland, (1987)Testing Proofs by Examples., und . ASIAN, Volume 1538 von Lecture Notes in Computer Science, Seite 1-3. Springer, (1998)Semantics of a Graphical Model for Representing Hypotheses and a System Supporting the Management of Hypotheses., , , , und . KICSS, Volume 6746 von Lecture Notes in Computer Science, Seite 32-43. Springer, (2010)