国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
明治
(5)
大正
(1)
1960年代
(5)
1970年代
(3)
1980年代
(8)
1990年代
(5)
2000年代
(22)
2010年代
(13)
2020年代
(12)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(79)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(1)
紙
(75)
マイクロ
(3)
記録メディア
すべて解除
件名
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 79 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Hiroakira Ono on substructural logic (Outstanding contributions to logic ; volume 23)
Hiroakira Ono on substructural logic (Outstanding contributions to logic ; volume 23)
紙
図書
Nikolaos Galatos, Kazushige Terui, editors
Springer
[2022]
<MA41-D8>
国立国会図書館
Jewel of reflection on the truth about epistemology : a complete and annotated translation of the Tattva-cintā-maṇi
Jewel of reflection on the truth about epistemology : a complete and annotated translation of the Tattva-cintā-maṇi
紙
図書
Gaṅgeśa, translated by Stephen Phillips.
Bloomsbury Academic
2020.
<HB151-P15>
国立国会図書館
全国の図書館
Meaning and non-existence : Kumārila's refutation of Dignāga's theory of exclusion : the Apohavāda chapter of Kumārila's Ślokavārttika : critical edition and annotated translation (Österreichische Akademie der Wissenschaften. Philosophisch-Historische Klasse. Sitzungsberichte ; 902. Band) (Beiträge zur Kultur- und Geistesgeschichte Asiens ; Nr. 102)
Meaning and non-existence : Kumārila's refutation of Dignāga's theory of exclusion : the Apohavāda chapter of Kumārila's Ślokavārttika : critical edition and annotated translation (Österreichische Akademie der Wissenschaften. Philosophisch-Historische Klasse. Sitzungsberichte ; 902. Band) (Beiträge zur Kultur- und Geistesgeschichte Asiens ; Nr. 102)
紙
図書
Kei Kataoka and John Taber
Austrian Academy of Sciences Press
[2021]
<HB153-D3>
国立国会図書館
WAIC and WBIC with Python Stan : 100 exercises for building logic
WAIC and WBIC with Python Stan : 100 exercises for building logic
紙
図書
Joe Suzuki
Springer
[2023]
<MA211-D58>
国立国会図書館
Classification functions for machine learning and data mining (Synthesis lectures on digital circuits & systems)
Classification functions for machine learning and data mining (Synthesis lectures on digital circuits & systems)
紙
図書
Tsutomu Sasao
Springer
[2024]
<M157-D1>
国立国会図書館
Advances in mathematical logic : dedicated to the memory of professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, selected, revised contributions : symposium on advances in mathematical logic 2018 : SAML2018 : Sep 2018, Kobe, Japan. (Springer Proceedings in Mathematics & Statistics ; 369)
Advances in mathematical logic : dedicated to the memory of professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, selected, revised contributions : symposium on advances in mathematical logic 2018 : SAML2018 : Sep 2018, Kobe, Japan. (Springer Proceedings in Mathematics & Statistics ; 369)
紙
図書
Springer
[2021]
<M17-22-630>
国立国会図書館
全国の図書館
Zur Lehre von der Definition (1929) ; Das Eine, die Einheit und die Eins (1924) ; Die Logik des Prädikats und das Problem der Ontologie (1930) Textkritische Ausgabe / von Rainer A. Bast (Heinrich Rickert, Sämtliche Werke ; Band 1)
Zur Lehre von der Definition (1929) ; Das Eine, die Einheit und die Eins (1924) ; Die Logik des Prädikats und das Problem der Ontologie (1930) Textkritische Ausgabe / von Rainer A. Bast (Heinrich Rickert, Sämtliche Werke ; Band 1)
紙
図書
Heinrich Rickert
De Gruyter
[2020]
<HD78-D2>
国立国会図書館
全国の図書館
Functional and logic programming : 15th international symposium, FLOPS 2020 : Akita, Japan, September 14-16, 2020 : proceedings : Sep 2020, ------. (Lecture Notes in Computer Science ; 12073)
Functional and logic programming : 15th international symposium, FLOPS 2020 : Akita, Japan, September 14-16, 2020 : proceedings : Sep 2020, ------. (Lecture Notes in Computer Science ; 12073)
紙
図書
Springer
[2020]
<M17-22-586>
国立国会図書館
全国の図書館
On Aristotle, topics. 1 (The ancient commentators on Aristotle)
On Aristotle, topics. 1 (The ancient commentators on Aristotle)
紙
図書
Alexander of Aphrodisias, translated by Johannes M. Van Ophuijsen
Bloomsbury
[2013]
<HC16-D4>
国立国会図書館
Philosophy of logic / edited by Dale Jacquette. 1st ed. (Handbook of the philosophy of science)
Philosophy of logic / edited by Dale Jacquette. 1st ed. (Handbook of the philosophy of science)
紙
図書
Elsevier/North Holland
2007.
<X>
国立国会図書館
件名
Logic.
Logique.
The logical alien : Conant and his critics
The logical alien : Conant and his critics
紙
図書
edited by Sofia Miguens
Harvard University Press
2020
<H35-D5>
国立国会図書館
全国の図書館
件名
...hinking. Logik
Logique.
Pensée.
Proceedings of the 14th and 15th Asian logic conferences : Mumbai, India 5-8 January 2015 : Daejeon, South Korea 10-14 July 2017 : Asian logic conference : ALC : ASL (the Association for Symbolic Logic)-sponsored meeting : official ASL meeting : ------.
Proceedings of the 14th and 15th Asian logic conferences : Mumbai, India 5-8 January 2015 : Daejeon, South Korea 10-14 July 2017 : Asian logic conference : ALC : ASL (the Association for Symbolic Logic)-sponsored meeting : official ASL meeting : ------.
紙
図書
World Scientific Publishing Co. Pte. Ltd.
[2019]
<M17-23-94>
国立国会図書館
The evolution of logic / W.D. Hart. (The evolution of modern philosophy)
The evolution of logic / W.D. Hart. (The evolution of modern philosophy)
紙
図書
Cambridge University Press
2010.
<H35-B13>
国立国会図書館
Handbook of the history of logic 1st ed.
Handbook of the history of logic 1st ed.
紙
図書
edited by Dov M. Gabbay and John Woods.
Elsevier
2004-
<H35-B8>
国立国会図書館
Handbook of the logic of argument and inference : the turn towards the practical / edited by Dov M. Gabbay ... [et al.]. 1st ed. (Studies in logic and practical reasoning ; v. 1)
Handbook of the logic of argument and inference : the turn towards the practical / edited by Dov M. Gabbay ... [et al.]. 1st ed. (Studies in logic and practical reasoning ; v. 1)
紙
図書
Elsevier
2002.
<MA41-B19>
国立国会図書館
Le jour la nuit tout autour
Le jour la nuit tout autour
紙
図書
児童書
Julie Safirstein.
Hélium
[2013]
<Y17-B16581>
国立国会図書館
ドゥルーズ『意味の論理学』の注釈と研究 : 出来事,運命愛,そして永久革命
ドゥルーズ『意味の論理学』の注釈と研究 : 出来事,運命愛,そして永久革命
紙
図書
鹿野祐嗣 著
岩波書店
2020.2
<HD135-M31>
国立国会図書館
全国の図書館
Logic programming : 18th international conference, ICLP 2002 : Copenhagen, Denmark, July 29-August 1, 2002 : proceedings. : federated logic conference (FloC) : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2401)
Logic programming : 18th international conference, ICLP 2002 : Copenhagen, Denmark, July 29-August 1, 2002 : proceedings. : federated logic conference (FloC) : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2401)
紙
図書
Springer
c2002.
<M17-07-809>
国立国会図書館
La logique 2e éd. mise à jour
La logique 2e éd. mise à jour
紙
図書
Pierre Wagner
Presses universitaires de France
2011
全国の図書館
Semiconductor spintronics and quantum computation / D. D. Awschalom, D. Loss, N. Samarth (eds.). (Nanoscience and technology)
Semiconductor spintronics and quantum computation / D. D. Awschalom, D. Loss, N. Samarth (eds.). (Nanoscience and technology)
紙
図書
Springer
c2002.
<ND351-B24>
国立国会図書館
もっと見る(21件目~)
書誌情報を一括出力