富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Mathematical Logic and Foundations)
該当件数:28件
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas / by William M. Farmer
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Birkhäuser , 2023). - (Computer Science Foundations and Applied Logic. ISSN:27315762)
電子ブック
Practical Aspects of Declarative Languages : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings / edited by Michael Hanus, Daniela Inclezan
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13880)
Logic and Its Applications : 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings / edited by Mohua Banerjee, A. V. Sreejith
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13963)
Dynamics in Logic and Language : Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers / edited by Dun Deng, Mingming Liu, Dag Westerståhl, Kaibo Xie
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13524)
R-Calculus, IV: Propositional Logic / by Wei Li, Yuefei Sui
1st ed. 2023.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2023). - (Perspectives in Formal Induction, Revision and Evolution. ISSN:27313697)
Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker / by Wolfgang Schreiner
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria. ISSN:21978409)
Dynamic Logic. New Trends and Applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers / edited by Carlos Areces, Diana Costa
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13780)
Semantic Intelligence : Select Proceedings of ISIC 2022 / edited by Sarika Jain, Sven Groppe, Bharat K. Bhargava
1st ed. 2023.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2023). - (Lecture Notes in Electrical Engineering. ISSN:18761119 ; 964)
Formal Methods Teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / edited by Catherine Dubois, Pierluigi San Pietro
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13962)
R-Calculus, III: Post Three-Valued Logic / by Wei Li, Yuefei Sui
1st ed. 2022.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2022). - (Perspectives in Formal Induction, Revision and Evolution. ISSN:27313697)
Logical Foundations of Computer Science : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings / edited by Sergei Artemov, Anil Nerode
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 13137)
Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings / edited by Bernd Finkbeiner, Thomas Wies
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 13182)
R-Calculus, II: Many-Valued Logics / by Wei Li, Yuefei Sui
Music, Mathematics and Language : The New Horizon of Computational Musicology Opened by Information Science / by Keiji Hirata, Satoshi Tojo, Masatoshi Hamanaka
1st ed. 2022.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2022)
Runtime Verification : A Hands-On Approach in Java / by Christian Colombo, Gordon J. Pace
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022)
Reverse Mathematics : Problems, Reductions, and Proofs / by Damir D. Dzhafarov, Carl Mummert
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Theory and Applications of Computability, In cooperation with the association Computability in Europe. ISSN:21906203)
Reasoning Web. Declarative Artificial Intelligence : 17th International Summer School 2021, Leuven, Belgium, September 8–15, 2021, Tutorial Lectures / edited by Mantas Šimkus, Ivan Varzinczak
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Information Systems and Applications, incl. Internet/Web, and HCI. ISSN:29461642 ; 13100)
Parameterized Complexity Theory / by J. Flum, M. Grohe
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Texts in Theoretical Computer Science. An EATCS Series. ISSN:18624502)
Computer Science Logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings / edited by Zoltán Ésik
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 4207)
Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings / edited by Armin Biere, Carla P. Gomes
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 4121)