Japanese
|
English
Search form
Search
Menu
Home
Logic Unit
Ishihara Laboratory
Ogawa-Hirokawa Laboratory
Tojo Laboratory
RCSV
CafeOBJ
Core2Core
Activities
Memberships
Publication
Events
Courses
Members
Japanese
|
English
Search form
Search
Home
> Publication
Publication
Found 1 results
Filters:
Author
is
Kazushige Terui
[Clear All Filters]
2015
Matsumoto K
,
Terui K
. 2015.
Coherence Spaces for Computable Analysis II
.
Continuity, Computability, Constructivity– From Logic to Algorithms (CCC 2015), Germany.
Back to Page Top
Language
English
日本語
Coming Events
There's no scheduled events.
User login
Username
*
Password
*
Request new password