本文に飛ぶ

年 〜
年

検索結果 9,853 件

The first discriminant theory of linearly separable data : from exams and medical diagnoses with misclassifications to 169 microarrays for cancer gene diagnosis

The first discriminant theory of linearly separable data : from exams and medical diagnoses with misclassifications to 169 microarrays for cancer gene diagnosis
紙図書
Shuichi ShinmuraSpringer[2024]<MA216-D15>
国立国会図書館全国の図書館

Knowledge, proof and dynamics : the Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia logica library)

Knowledge, proof and dynamics : the Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia logica library)
紙図書
Fenrong Liu, Hiroakira Ono, Junhua Yu, editors.Springer[2020]<H35-D4>
国立国会図書館全国の図書館
  • 要約等...foundations of logic. They also reflect the interdi...
  • 件名Logic--Congresses. Logic.

New essays on Belnap-Dunn logic (Synthese library : studies in epistemology, logic, mtheodology, and philosophy of science ; Volume 418)

New essays on Belnap-Dunn logic (Synthese library : studies in epistemology, logic, mtheodology, and philosophy of science ; Volume 418)
紙図書
Hitoshi Omori, Heinrich Wansing, editors.Springer[2019]<H35-D1>
国立国会図書館
  • 件名Entailment (Logic) Computer logic.

An invitation to mathematical logic (Graduate texts in mathematics ; 301)

An invitation to mathematical logic (Graduate texts in mathematics ; 301)
紙図書
David MarkerSpringer[2024]<MA41-D9>
国立国会図書館全国の図書館
  • 要約等...y mathematical logic. There is no cu......ntroduction to logic. Prior exposure to logic is he...

An introduction to formal logic Second edition (Cambridge introductions to philosophy)

An introduction to formal logic Second edition (Cambridge introductions to philosophy)
紙図書
Peter SmithCambridge University Press2020<H35-D7>
国立国会図書館
  • 要約等...ents of formal logic. He introduces the reader to t...

Ordinal analysis with an introduction to proof theory (Logic in Asia: Studia logica library)

Ordinal analysis with an introduction to proof theory (Logic in Asia: Studia logica library)
紙図書
Toshiyasu AraiSpringer[2020]<MA21-D26>
国立国会図書館

Functional and logic programming : 16th international symposium, FLOPS 2022 : Kyoto, Japan, May 10-12, 2022 : proceedings : May 2022, Kyoto, Japan. (Lecture Notes in Computer Science ; 13215)

Functional and logic programming : 16th international symposium, FLOPS 2022 : Kyoto, Japan, May 10-12, 2022 : proceedings : May 2022, Kyoto, Japan. (Lecture Notes in Computer Science ; 13215)
紙図書
Springer[2022]<M17-24-12>
国立国会図書館全国の図書館

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 TaberAustrian Academy of Sciences Press[2021]<HB153-D3>
国立国会図書館
  • 件名... 1800 Buddhist logic. Mimamsa.

Statistical learning with math and Python : 100 exercises for building logic

Statistical learning with math and Python : 100 exercises for building logic
紙図書
Joe SuzukiSpringer[2021]<MA211-D21>
国立国会図書館全国の図書館

Design and testing of reversible logic (Lecture notes in electrical engineering ; volume 577)

Design and testing of reversible logic (Lecture notes in electrical engineering ; volume 577)
紙図書
Ashutosh Kumar Singh, Masahiro Fujita, Anand Mohan, editors.Springer[2020]<ND386-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>
国立国会図書館全国の図書館

Recent developments in fuzzy logic and fuzzy sets : dedicated to Lotfi A. Zadeh (Studies in fuzziness and soft computing ; volume 391)

Recent developments in fuzzy logic and fuzzy sets : dedicated to Lotfi A. Zadeh (Studies in fuzziness and soft computing ; volume 391)
紙図書
Shahnaz N. Shahbazova, Michio Sugeno, Janusz Kacprzyk, editors.Springer[2020]<MA41-D3>
国立国会図書館全国の図書館
  • 件名Fuzzy logic. Fuzzy sets.

Logic, rationality, and interaction : 6th international workshop, LORI 2017 : Sapporo, Japan, September 11-14, 2017 : proceedings : LORI-6 : LORI conference : Sep 2017, Sapporo, Japan. (Lecture Notes in Computer Science ; 10455)

Logic, rationality, and interaction : 6th international workshop, LORI 2017 : Sapporo, Japan, September 11-14, 2017 : proceedings : LORI-6 : LORI conference : Sep 2017, Sapporo, Japan. (Lecture Notes in Computer Science ; 10455)
紙図書
Springer[2017]<M17-20-408>
国立国会図書館

Logik als die Frage nach dem Wesen der Sprache (Gesamtausgabe ; Band 38 A)

Logik als die Frage nach dem Wesen der Sprache (Gesamtausgabe ; Band 38 A)
紙図書
Martin Heidegger.Vittorio Klostermann[2020]<HD86-D2>
国立国会図書館全国の図書館
  • 件名Language and logic. Logic. Language and languages--Philo...

Fuzzy logic and mathematics : a historical perspective

Fuzzy logic and mathematics : a historical perspective
紙図書
Radim Bělohlávek, Joseph W. Dauben, and George J. KlirOxford University Press[2017]<MA41-D4>
国立国会図書館

Bad arguments : 100 of the most important fallacies in Western philosophy

Bad arguments : 100 of the most important fallacies in Western philosophy
紙図書
edited by Robert Arp, Steven Barbone, and Michael Bruce.Wiley Blackwell2019.<H35-B19>
国立国会図書館
  • 内容細目... Propositional logic. Affirming a di......ul Categorical logic. Exclusive premises / Charlene...

An introduction to the philosophy of logic (Cambridge introductions to philosophy)

An introduction to the philosophy of logic (Cambridge introductions to philosophy)
紙図書
Daniel Cohnitz, Luis Estrada-González.Cambridge University Press2019.<H35-D2>
国立国会図書館
  • 件名Logic. Logik Philosophie

Miki Kyoshi's The logic of imagination : a critical introduction and translation (Bloomsbury introductions to world philosophies)

Miki Kyoshi's The logic of imagination : a critical introduction and translation (Bloomsbury introductions to world philosophies)
紙図書
introduced and translated by John W.M. KrummelBloomsbury Academic2024<HA148-D3>
国立国会図書館全国の図書館

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, editorsSpringer[2022]<MA41-D8>
国立国会図書館

A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP / Agostino Dovier, Enrico Pontelli (eds.). (Lecture notes in computer science ; 6125 ; State-of-the-art survey)

A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP / Agostino Dovier, Enrico Pontelli (eds.). (Lecture notes in computer science ; 6125 ; State-of-the-art survey)
紙図書
Springerc2010.<X>
国立国会図書館
RSS