Jump to main content

yr 〜
yr

Search results 9,858

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
Paper図書
Shuichi ShinmuraSpringer[2024]<MA216-D15>
National Diet LibraryOther Libraries in Japan

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)
Paper図書
Fenrong Liu, Hiroakira Ono, Junhua Yu, editors.Springer[2020]<H35-D4>
National Diet LibraryOther Libraries in Japan
  • Summary, etc....ic logic, game logics, and philosophical foundation...
  • Contents...translation in logics for knowabilit......ogic The modal logics of the poison ......Unary temporal logics, points and intervals The Zer...

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)
Paper図書
Hitoshi Omori, Heinrich Wansing, editors.Springer[2019]<H35-D1>
National Diet Library

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

An introduction to formal logic Second edition (Cambridge introductions to philosophy)
Paper図書
Peter SmithCambridge University Press2020<H35-D7>
National Diet Library

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)
Paper図書
Toshiyasu AraiSpringer[2020]<MA21-D26>
National Diet Library

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)
Paper図書
Springer[2022]<M17-24-12>
National Diet LibraryOther Libraries in Japan

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)
Paper図書
Kei Kataoka and John TaberAustrian Academy of Sciences Press[2021]<HB153-D3>
National Diet Library

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

Statistical learning with math and Python : 100 exercises for building logic
Paper図書
Joe SuzukiSpringer[2021]<MA211-D21>
National Diet LibraryOther Libraries in Japan

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)
Paper図書
Ashutosh Kumar Singh, Masahiro Fujita, Anand Mohan, editors.Springer[2020]<ND386-D1>
National Diet LibraryOther Libraries in Japan

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)
Paper図書
Springer[2021]<M17-22-630>
National Diet LibraryOther Libraries in Japan

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)
Paper図書
Shahnaz N. Shahbazova, Michio Sugeno, Janusz Kacprzyk, editors.Springer[2020]<MA41-D3>
National Diet LibraryOther Libraries in Japan

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)
Paper図書
Springer[2017]<M17-20-408>
National Diet Library

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)
Paper図書
Martin Heidegger.Vittorio Klostermann[2020]<HD86-D2>
National Diet LibraryOther Libraries in Japan

Fuzzy logic and mathematics : a historical perspective

Fuzzy logic and mathematics : a historical perspective
Paper図書
Radim Bělohlávek, Joseph W. Dauben, and George J. KlirOxford University Press[2017]<MA41-D4>
National Diet Library

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

Bad arguments : 100 of the most important fallacies in Western philosophy
Paper図書
edited by Robert Arp, Steven Barbone, and Michael Bruce.Wiley Blackwell2019.<H35-B19>
National Diet Library

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)
Paper図書
introduced and translated by John W.M. KrummelBloomsbury Academic2024<HA148-D3>
National Diet LibraryOther Libraries in Japan

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

An introduction to the philosophy of logic (Cambridge introductions to philosophy)
Paper図書
Daniel Cohnitz, Luis Estrada-González.Cambridge University Press2019.<H35-D2>
National Diet Library

Hiroakira Ono on substructural logic (Outstanding contributions to logic ; volume 23)

Hiroakira Ono on substructural logic (Outstanding contributions to logic ; volume 23)
Paper図書
Nikolaos Galatos, Kazushige Terui, editorsSpringer[2022]<MA41-D8>
National Diet Library
  • Summary, etc.... substructural logics. Chapters, wri...... substructural logics, results on the existence and...
  • Contents... non-classical logics (James G. Raft...... substructural logics (Jacopo Amidei, Rodolfo C. Er...

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)
Paper図書
Springerc2010.<X>
National Diet Library

Proof theory and algebra in logic (Short textbooks in logic)

Proof theory and algebra in logic (Short textbooks in logic)
Paper図書
Hiroakira OnoSpringer[2019]<MA41-D5>
National Diet LibraryOther Libraries in Japan
  • Contents... substructural logics Deducibility a......lgebraic logic Logics and varieties Residuated stru...
RSS