Jump to main content

yr 〜
yr

Search results 82

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
  • Subject HeadingThreshold logic Logique de seuil

Le système des universels à l'aune de l'autoéveil (Oeuvres de Nishida Kitarō ; n. 7)

Le système des universels à l'aune de l'autoéveil (Oeuvres de Nishida Kitarō ; n. 7)
Paper図書
Nishida KitarōÉditions Mimésis[2024]<HA135-D18>
National Diet Library
  • Summary, etc....it centrée la logique de Nishida Kitaro- durant la ...
  • Subject HeadingPhilosophie--Japon--20e siècle. Logique. Métaphysique. Subjectivité...

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
  • Subject HeadingLogic, Symbolic and mathematical Ono, Hiroakira Logique symbolique et mathématique

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
Paper図書
Gaṅgeśa, translated by Stephen Phillips.Bloomsbury Academic2020.<HB151-P15>
National Diet LibraryOther Libraries in Japan
  • Subject Heading...̣i. Induction (logique) Nyāya. Logique hindoue. Philosophie--Inde.

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
  • Subject Heading...sā Négation (Logique) Logique bouddhique--Ouvrages avant 18...

WAIC and WBIC with Python Stan : 100 exercises for building logic

WAIC and WBIC with Python Stan : 100 exercises for building logic
Paper図書
Joe SuzukiSpringer[2023]<MA211-D58>
National Diet LibraryOther Libraries in Japan
  • Subject Heading...on bayésienne Logique symbolique et mathématique

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)
Paper図書
Tsutomu SasaoSpringer[2024]<M157-D1>
National Diet Library
  • Subject Heading...ning Structure logique--Informatique Apprentissage a...

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
  • Subject Heading...l--Congresses. Logique symbolique et mathématique--...

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)
Paper図書
Heinrich RickertDe Gruyter[2020]<HD78-D2>
National Diet LibraryOther Libraries in Japan
  • Subject Heading...hie Prédicat (Logique) definition

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)
Paper図書
Springer[2020]<M17-22-586>
National Diet LibraryOther Libraries in Japan
  • Subject Heading... Programmation logique--Congrès. Functional program...

On Aristotle, topics. 1 (The ancient commentators on Aristotle)

On Aristotle, topics. 1 (The ancient commentators on Aristotle)
Paper図書
Alexander of Aphrodisias, translated by Johannes M. Van OphuijsenBloomsbury[2013]<HC16-D4>
National Diet Library
  • Subject Heading...rique ancienne Logique ancienne PHILO......rique antique. Logique antique.

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)
Paper図書
Elsevier/North Holland2007.<X>
National Diet Library
  • Subject HeadingLogic. Logique.

The logical alien : Conant and his critics

The logical alien : Conant and his critics
Paper図書
edited by Sofia MiguensHarvard University Press2020<H35-D5>
National Diet LibraryOther Libraries in Japan
  • Subject Heading...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 : ------.
Paper図書
World Scientific Publishing Co. Pte. Ltd.[2019]<M17-23-94>
National Diet Library
  • Subject Heading...TICS--General. Logique symbolique et mathématique--...

The evolution of logic / W.D. Hart. (The evolution of modern philosophy)

The evolution of logic / W.D. Hart. (The evolution of modern philosophy)
Paper図書
Cambridge University Press2010.<H35-B13>
National Diet Library
  • Subject HeadingLogic -- History. logique -- philosophie -- 19e s. -- 2...

Handbook of the history of logic 1st ed.

Handbook of the history of logic 1st ed.
Paper図書
edited by Dov M. Gabbay and John Woods.Elsevier2004-<H35-B8>
National Diet Library
  • Subject HeadingLogic -- History. Histoire. Logique (Philosophie)

Le jour la nuit tout autour

Le jour la nuit tout autour
Paper図書児童書
Julie Safirstein.Hélium[2013]<Y17-B16581>
National Diet Library
  • Subject Heading...e. Contraires (logique)--Ouvrages pour la jeunesse. ...

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)
Paper図書
Elsevier2002.<MA41-B19>
National Diet Library
  • Subject HeadingLogic, Symbolic and mathematical. Logica. Argumentatie. Logique symbolique et mathématique.

ドゥルーズ『意味の論理学』の注釈と研究 : 出来事,運命愛,そして永久革命

ドゥルーズ『意味の論理学』の注釈と研究 : 出来事,運命愛,そして永久革命
Paper図書
鹿野祐嗣 著岩波書店2020.2<HD135-M31>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）Logique du sens ドゥルーズ, G ドゥルーズ, ジル

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)
Paper図書
Springerc2002.<M17-07-809>
National Diet Library
  • Subject HeadingLogic programming -- Congresses. Logisch programmeren. Programmation logique -- Congrès.
RSS