Вы здесь
Ueda K.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | A Pure Meta-interpretator for Flat GHC, a Concurrent Constraint Language | 2002 | Ueda K. | Lecture Notes in Computer Science | 29.08.2002 | |||
СТ | Resouce-Passing Concurrent Programming | 2001 | Ueda K. | Lecture Notes in Computer Science | 04.11.2001 | |||
СТ | Error-Correcting Source Code | 1998 | Ajiro Y., Ueda K., Cho K. | Lecture Notes in Computer Science | 26.11.1998 | |||
СТ | Diagnosing Non- Well-Moded Concurrent Logic Programs | 1996 | Cho K., Ueda K. | Logic Programming | 12.03.1998 | |||
СТ | Experiences with Strong Moding in Concurrent Logic/Constraint Programming | 1996 | Ueda K. | Lecture Notes in Computer Science | 04.06.1996 | |||
СТ | I/O Mode Analysis in Concurrent Logic Programming | 1995 | Ueda K. | Lecture Notes in Computer Science | 19.05.1995 | |||
СТ | Implementation of Heuristic Problem Solving Process Including Analogical Reasoning | 1993 | Ueda K., Nagano S. | Lecture Notes in Artificial Intelligence | 22.12.1993 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Programming Languages and Systems: Proc./8th Asian Symposium, APLAS 2010, Shanghai, China, November/December 2010 | 2010 | Lecture Notes in Computer Science |
|
22.02.2011 | |||
СБ | Functional and Logic Programming: Proc./5th Intern. Symp., FLOPS 2001, Tokyo, Japan, March 2001 | 2001 | Lecture Notes in Computer Science |
|
05.04.2001 | |||
СБ | Advances in Computing Science - ASIAN 97: Proc./Third Asian Computing Science Conf. Kathmandu, Nepal, December 1997 | 1997 | Lecture Notes in Computer Science |
|
20.12.1997 |