CiNii 国立情報学研究所 学術情報ナビゲータ[サイニィ]
詳細へ移動
検索フォームへ移動
メニュー
検索
論文・データをさがす
大学図書館の本をさがす
日本の博士論文をさがす
English
検索
タイトル
人物/団体名
所属機関
ISSN
DOI
期間
〜
本文リンク
本文リンクあり
データソース
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
極地研ADS
極地研学術DB
公共データカタログ
ムーンショット型研究開発事業
【2024年10月28日更新】CiNii Dissertations及びCiNii BooksのCiNii Researchへの統合について
新「国立国会図書館サーチ」公開によるCiNiiサービスへの影響について
CiNii Research自動翻訳機能(試行版)をCiNii Labsにて公開しました
Pigeon hole principle
Wojciech Trybulec
作成者
収録刊行物
Formalized Mathematics
Formalized Mathematics 1 (3), 575-, 1990
関連論文
読み込み中...
もっと見る
詳細情報
詳細情報について
CRID
1370285713973931786
データソース種別
Crossref
書き出し
RefWorksに書き出し
EndNoteに書き出し
Mendeleyに書き出し
RDFで書き出し
Refer/BibIXで表示
RISで表示
BibTeXで表示
TSVで表示
CSVで表示
JSON-LDで表示
ページトップへ