Home
Logic Unit
RCSV
- CafeOBJ
Core2Core
- Activities
- Memberships
Projects
- Constructive reverse mathematics and computational content of mathematical theorems
Events
Members

Assistant Professor

Takako Nemoto

Link:	JAIST profile page, Personal web page
Group:	Logic Unit

Map and Direction | Contact us
Copyright (c) 2010-2022 Japan Advanced Institute of Science and Technology. All Rights Reserved.
1-1 Asahidai, Nomi, Ishikawa 923-1292 Japan