富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: QA267-268.5)
該当件数:26件
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)
電子ブック
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)
Combinatorics on Words : 14th International Conference, WORDS 2023, Umeå, Sweden, June 12–16, 2023, Proceedings / edited by Anna Frid, Robert Mercaş
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13899)
Artificial Intelligence Logic and Applications : The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings / edited by Songmao Zhang, Yonggang Zhang
1st ed. 2023.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2023). - (Communications in Computer and Information Science. ISSN:18650937 ; 1917)
Rigorous State-Based Methods : 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings / edited by Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14010)
Reachability Problems : 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings / edited by Olivier Bournez, Enrico Formenti, Igor Potapov
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14235)
Artificial Intelligence Logic and Applications : The 2nd International Conference, AILA 2022, Shanghai, China, August 26–28, 2022, Proceedings / edited by Yixiang Chen, Songmao Zhang
1st ed. 2022.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2022). - (Communications in Computer and Information Science. ISSN:18650937 ; 1657)
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)
Formal Analysis by Abstract Interpretation : Case Studies in Modern Protocols / by Benjamin Aziz
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (SpringerBriefs in Applied Sciences and Technology. ISSN:21915318)
Language, Logic, and Computation : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers / edited by Aybüke Özgün, Yulia Zinova
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13206)
R-Calculus, II: Many-Valued Logics / by Wei Li, Yuefei Sui
Automata Theory and Formal Languages : Fundamental Notions, Theorems, and Techniques / by Alberto Pettorossi
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Undergraduate Topics in Computer Science. ISSN:21971781)
Reachability Problems : 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings / edited by Anthony W. Lin, Georg Zetzsche, Igor Potapov
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13608)
Foundations of Information and Knowledge Systems : 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022, Proceedings / edited by Ivan Varzinczak
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349)
Coalgebraic Methods in Computer Science : 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings / edited by Helle Hvid Hansen, Fabio Zanasi
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13225)
Agent Technology from a Formal Perspective / edited by Christopher Rouff
1st ed. 2006.. - (London : Springer London : Imprint: Springer , 2006). - (NASA Monographs in Systems and Software Engineering. ISSN:21976597)
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)
Developments in Language Theory : 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings / edited by Oscar H. Ibarra, Zhe Dang
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 4036)
Relations and Kleene Algebra in Computer Science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006, Proceedings / edited by Renate Schmidt
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 4136)
Theory and Applications of Satisfiability Testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / edited by Holger H. Hoos, David G. Mitchell
1st ed. 2005.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2005). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 3542)