Jump to main content

yr 〜
yr

Search results 2,316

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
  • Subject HeadingProof theory Logic, Symbolic and mathematical Logic, Symbolic and mathematical. Proof theory.

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
  • Subject Heading...gram language) Logic, Symbolic and mathematical. Mathematical statistics.

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...que--Congrès. Logic, Symbolic and mathematical.

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

Law and logic - making legal science a genuine science : proceedings of the special workshop held at the 28th World Congress of the International Association for Philosophy of Law and Social Philosophy in Lisbon, Portugal, 2017 (Archiv für Rechts- und Sozialphilosophie = Archives for philosophy of law and social philosophy = Archives de philosophie du droit et de philosophie sociale = Archivo de filosofía jurídica y social ; Beiheft 166)

Law and logic - making legal science a genuine science : proceedings of the special workshop held at the 28th World Congress of the International Association for Philosophy of Law and Social Philosophy in Lisbon, Portugal, 2017 (Archiv für Rechts- und Sozialphilosophie = Archives for philosophy of law and social philosophy = Archives de philosophie du droit et de philosophie sociale = Archivo de filosofía jurídica y social ; Beiheft 166)
Paper図書
edited by Hajime Yoshino and Gonzalo Villa RosasFranz Steiner Verlag[2021]<A123-D4>
National Diet LibraryOther Libraries in Japan
  • Subject Heading...--Methodology. Logic, Symbolic and mathematical.

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

Logic and its applications : 6th Indian conference, ICLA 2015 : Mumbai, India, January 8-10, 2015 : proceedings : Jan 2015, Mumbai, India. (Lecture Notes in Computer Science ; 8923)

Logic and its applications : 6th Indian conference, ICLA 2015 : Mumbai, India, January 8-10, 2015 : proceedings : Jan 2015, Mumbai, India. (Lecture Notes in Computer Science ; 8923)
Paper図書
Springer[2015]<M17-15-1316>
National Diet Library
  • Subject HeadingLogic, Symbolic and mathematical--Congresses. Logic, Symbolic and mathematical.

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
  • Subject Heading...Logic devices. Logic, Symbolic and mathematical.

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

Frontiers of combining systems : 10th international symposium, FroCoS 2015 : Wroclaw, Poland, September 21-24, 2015 : proceedings : FroCoS meetings : Sep 2015, Wroclaw, Poland. (Lecture Notes in Computer Science ; 9322. Lecture Notes in Artificial Intelligence)

Frontiers of combining systems : 10th international symposium, FroCoS 2015 : Wroclaw, Poland, September 21-24, 2015 : proceedings : FroCoS meetings : Sep 2015, Wroclaw, Poland. (Lecture Notes in Computer Science ; 9322. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2015]<M17-16-635>
National Diet Library
  • Subject Heading...puter science. Logic, Symbolic and mathematical.

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...al complexity. Logic, Symbolic and mathematical.

Interactive theorem proving : 5th international conference, ITP 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8558)

Interactive theorem proving : 5th international conference, ITP 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8558)
Paper図書
Springer[2014]<M17-15-1248>
National Diet Library
  • Subject Heading...eorem proving. Logic, Symbolic and mathematical.

Logic and its applications : 5th Indian conference, ICLA 2013 : Chennai, India, January 10-12, 2013 : proceedings : ICLA2013 : Jan 2013, Chennai, India. (Lecture Notes in Computer Science ; 7750)

Logic and its applications : 5th Indian conference, ICLA 2013 : Chennai, India, January 10-12, 2013 : proceedings : ICLA2013 : Jan 2013, Chennai, India. (Lecture Notes in Computer Science ; 7750)
Paper図書
Springerc2013.<M17-13-1641>
National Diet Library

2016 31st annual ACM/IEEE symposium on logic in computer science (LICS 2016) : New York, New York, USA : 5-8 July 2016 : LICS conference : logic mentoring workshop : 31st annual ACM-IEEE symposium on logic in computer science : Jul 2016, New York, NY.

2016 31st annual ACM/IEEE symposium on logic in computer science (LICS 2016) : New York, New York, USA : 5-8 July 2016 : LICS conference : logic mentoring workshop : 31st annual ACM-IEEE symposium on logic in computer science : Jul 2016, New York, NY.
Paper図書
IEEE[2016]<M17-20-322>
National Diet Library
  • Subject Heading...ta processing. Logic, Symbolic and mathematical.

Categories and types in logic, language, and physics : essays dedicated to Jim Lambek on the occasion of his 90th birthday (Lecture notes in computer science ; 8222. Festschrift)

Categories and types in logic, language, and physics : essays dedicated to Jim Lambek on the occasion of his 90th birthday (Lecture notes in computer science ; 8222. Festschrift)
Paper図書
Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott (eds.).Springer[2014]<X>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical. Computer science--Mathematics...

Interactive theorem proving : 6th international conference, ITP 2015 : Nanjing, China, August 24-27, 2015 : proceedings : Aug 2015, Nanjing, China. (Lecture Notes in Computer Science ; 9236)

Interactive theorem proving : 6th international conference, ITP 2015 : Nanjing, China, August 24-27, 2015 : proceedings : Aug 2015, Nanjing, China. (Lecture Notes in Computer Science ; 9236)
Paper図書
Springer[2015]<M17-16-524>
National Diet Library
  • Subject Heading...eorem proving. Logic, Symbolic and mathematical.

2016 23rd international symposium on temporal representation and reasoning : (TIME 2016) : Kongens Lyngby, Denmark : 17-19 October 2016 : Oct 2016, Kongens Lyngby, Denmark.

2016 23rd international symposium on temporal representation and reasoning : (TIME 2016) : Kongens Lyngby, Denmark : 17-19 October 2016 : Oct 2016, Kongens Lyngby, Denmark.
Paper図書
IEEE[2016]<M17-18-1578>
National Diet Library
  • Subject Heading... intelligence. Logic, Symbolic and mathematical. Reasoning. Temporal databases...

Inductive logic programming : 25th international conference, ILP 2015 : Kyoto, Japan, August 20-22, 2015 : revised selected papers : Aug 2015, Kyoto, Japan. (Lecture Notes in Computer Science ; 9575. Lecture Notes in Artificial Intelligence)

Inductive logic programming : 25th international conference, ILP 2015 : Kyoto, Japan, August 20-22, 2015 : revised selected papers : Aug 2015, Kyoto, Japan. (Lecture Notes in Computer Science ; 9575. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2016]<M17-20-869>
National Diet Library
  • Subject Heading...omputer logic. Logic, Symbolic and mathematical. Data mining. Artificial intel...

数学基礎論入門 新装 (朝倉復刊セレクション. 基礎数学シリーズ)

数学基礎論入門 新装 (朝倉復刊セレクション. 基礎数学シリーズ)
Paper図書
前原昭二 著朝倉書店2024.8<MA41-R7>
National Diet LibraryOther Libraries in Japan

Automated deduction--CADE-25 : 25th international conference on automated deduction : Berlin, Germany, August 1-7, 2015 : proceedings : Aug 2015, Berlin, Germany. (Lecture Notes in Computer Science ; 9195. Lecture Notes in Artificial Intelligence)

Automated deduction--CADE-25 : 25th international conference on automated deduction : Berlin, Germany, August 1-7, 2015 : proceedings : Aug 2015, Berlin, Germany. (Lecture Notes in Computer Science ; 9195. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2015]<M17-16-493>
National Diet Library
RSS