富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Logic programming)
該当件数:50件
Verified Software. Theories, Tools and Experiments : 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers / edited by Akash Lal, Stefano Tonetta
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13800)
電子ブック
Chatbot Research and Design : 6th International Workshop, CONVERSATIONS 2022, Amsterdam, The Netherlands, November 22–23, 2022, Revised Selected Papers / edited by Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie L.-C. Law, Ewa Luger, Morten Goodwin, Petter Bae Brandtzaeg
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13815)
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)
Verification, Model Checking, and Abstract Interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings / edited by Cezara Dragoi, Michael Emmi, Jingbo Wang
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13881)
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)
Formal Modeling and Analysis of Timed Systems : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings / edited by Laure Petrucci, Jeremy Sproston
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14138)
Rules and Reasoning : 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings / edited by Anna Fensel, Ana Ozaki, Dumitru Roman, Ahmet Soylu
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14244)
Developments in Language Theory : 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings / edited by Frank Drewes, Mikhail Volkov
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13911)
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)
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)
Relational and Algebraic Methods in Computer Science : 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings / edited by Roland Glück, Luigi Santocanale, Michael Winter
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13896)
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)
Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings / edited by Carla Ferreira, Tim A. C. Willemse
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14323)
Formal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings / edited by Sergiy Bogomolov, David Parker
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13465)
A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday / edited by Nils Jansen, Mariëlle Stoelinga, Petra van den Bos
1st ed. 2022.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13560)
Implementation and Application of Automata : 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings / edited by Pascal Caron, Ludovic Mignot
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13266)
Rules and Reasoning : 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings / edited by Guido Governatori, Anni-Yasmin Turhan
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13752)
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)