富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Logic)
該当件数:15件
Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings / edited by Helle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13923)
電子ブック
Logic, Rationality, and Interaction : 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings / edited by Natasha Alechina, Andreas Herzig, Fei Liang
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14329)
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)
Logic, Language, Information, and Computation : 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings / edited by Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13468)
Tests and Proofs : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings / edited by Laura Kovács, Karl Meinke
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13361)
Where Responsibility Takes You : Logics of Agency, Counterfactuals, and Norms / by Ilaria Canavotto
1st ed. 2022.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13228)
Logic / John Nolt, Dennis Rohatyn, Achille Varzi
: pbk. - 2nd ed. - New York : McGraw-Hill , c2011. - (Schaum's outline series)
図書
Rigid Flexibility : The Logic of Intelligence / by Pei Wang
1st ed. 2006.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2006). - (Applied Logic Series ; 34)
Uncertainty, Rationality, and Agency / edited by Wiebe van der Hoek
1st ed. 2006.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2006)
The logic of biochemical sequencing / David S. Blackman
pbk.. - Boca Raton : CRC Press , c1994
Structures for semantics / Fred Landman
: pbk. - Dordrecht : Boston : Kluwer Academic , c1991. - (Studies in linguistics and philosophy ; v. 45)
The languages of logic : an introduction to formal logic / Samuel Guttenplan
: pbk. - Oxford OX, UK : New York, NY, USA : Blackwell , 1986
Logic in linguistics / Jens Allwood, Lars-Gunnar Andersson, Östen Dahl
: hard,: pbk. - Cambridge : Cambridge University Press , 1977. - (Cambridge textbooks in linguistics)
Introduction to logic / Patrick Suppes
Princeton, N.J. : D. Van Nostrand , c1957. - (The university series in undergraduate mathematics)
Alternatives to classical logic / edited by D. Gabbay and F. Guenthner
Dordrecht : Boston : D. Reidel. - Hingham, Mass. : Boston : D. Reidel. - (Synthese library ; v. 166 . Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner ; v. 3)