CiNii Citation Information by NII
Go to detail
Go to searching
メニュー
検索
Articles, Data
Books
Dissertations
日本語
Search
Title
Researcher/Group
Affiliation
ISSN
DOI
Period
〜
Link to full-text
Has Link to full-text
Data Source
JaLC
IRDB
Crossref
DataCite
NDL
NDL-Digital
RUDA
JDCat
NINJAL
CiNii Articles
CiNii Books
CiNii Dissertations
DBpedia
Nikkei BP
KAKEN
Integbio
MDR
PubMed
LSDB Archive
NIPR-ADS
NIPR-ScienceDB
Public data
Moonshot R&D Program
【Updated on July 2, 2024】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
Impact of the Release of the New "NDL Search" on CiNii Services
CiNii Labs, CiNii's experimental service public site, has been released.
IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications
Web Site
Web Site
Articles: {{num}}
Research Data: {{num}}
Books: {{num}}
Dissertations: {{num}}
Research Projects: {{num}}
Products: {{num}}
Related Articles
Loading...
Related Data
Loading...
Related Books
Loading...
Related Dissertations
Loading...
Related Projects
Loading...
Related Products
Loading...
Details
詳細情報について
CRID
1140000791767616384
Web Site
https://ci.nii.ac.jp/author/DA07102122#entity
https://viaf.org/viaf/sourceID/NII%7CDA07102122
Author ID
DA07102122
Data Source
CiNii Books
Search this author
VIAF
KAKEN - Researchers
researchmap
ORCID
Google Scholar
Google
Yahoo!
Report a problem
Edit author detail
other
Back to top
