|
Search the dblp DataBase
Koji Nakagawa:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Taro Suzuki, Koji Nakagawa, Tetsuo Ida
Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language. [Citation Graph (0, 0)][DBLP] ALP/HOA, 1997, pp:99-113 [Conf]
- Koji Nakagawa, Masakazu Suzuki
Mathematical Knowledge Browser with Automatic Hyperlink Detection. [Citation Graph (0, 0)][DBLP] MKM, 2005, pp:190-202 [Conf]
- Koji Nakagawa, Felix Kossak
User--system interaction within Theorema. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
- Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz
Theorema: Towards computer-aided mathematical theory exploration. [Citation Graph (0, 0)][DBLP] J. Applied Logic, 2006, v:4, n:4, pp:470-504 [Journal]
- Koji Nakagawa
Logicographic symbols. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2006, v:41, n:3-4, pp:411-434 [Journal]
- Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto
An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks. [Citation Graph (0, 0)][DBLP] CASC, 2007, pp:433-447 [Conf]
- Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto
Exact Parameter Determination for Parkinson's Disease Diagnosis with PET Using an Algebraic Approach. [Citation Graph (0, 0)][DBLP] AB, 2007, pp:110-124 [Conf]
Ground-truthed dataset of chemical structure images in Japanese published patent applications. [Citation Graph (, )][DBLP]
Extraction of Logical Structure from Articles in Mathematics. [Citation Graph (, )][DBLP]
Search in 0.017secs, Finished in 0.018secs
|