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
【Created on October 31, 2023】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
Impact of the Release of the New "NDL Search" on CiNii Services
Kripke semantics for basic sequent systems
Avron
Creator
Related Articles
Loading...
See more
Details
詳細情報について
CRID
1370850475586073870
Data Source
Crossref
Export
Export to RefWorks
Export to EndNote
Export to Mendeley
Export as RDF
Show Refer/BibIX
Show RIS
Show BibTeX
Show TSV
Show CSV
Show JSON-LD
Back to top
Project list