富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Machine theory)
該当件数:243件
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)
Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings / edited by Catherine Dubois, Manfred Kerber
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 14101)
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)
Metadata and Semantic Research : 16th Research Conference, MTSR 2022, London, UK, November 7–11, 2022, Revised Selected Papers / edited by Emmanouel Garoufallou, Andreas Vlachidis
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Communications in Computer and Information Science. ISSN:18650937 ; 1789)
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)
Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations : Theories and Methodologies / by Yejun Xu
1st ed. 2023.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2023)
Flexible Query Answering Systems : 15th International Conference, FQAS 2023, Mallorca, Spain, September 5–7, 2023, Proceedings / edited by Henrik Legind Larsen, Maria J. Martin-Bautista, M. Dolores Ruiz, Troels Andreasen, Gloria Bordogna, Guy De Tré
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 14113)
Logic and Argumentation : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings / edited by Andreas Herzig, Jieting Luo, Pere Pardo
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 14156)
Recent Trends in Algebraic Development Techniques : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers / edited by Alexandre Madeira, Manuel A. Martins
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13710)
The Semantic Web: ESWC 2023 Satellite Events : Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings / edited by Catia Pesquita, Hala Skaf-Molli, Vasilis Efthymiou, Sabrina Kirrane, Axel Ngonga, Diego Collarana, Renato Cerqueira, Mehwish Alam, Cassia Trojahn, Sven Hertling
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13998)
Static Analysis : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings / edited by Manuel V. Hermenegildo, José F. Morales
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14284)
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)
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)
Logics in Artificial Intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings / edited by Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 14281)
Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings / edited by Panagiotis Katsaros, Laura Nenzi
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14245)
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)
Machine Learning and Knowledge Extraction : 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023, Benevento, Italy, August 29 – September 1, 2023, Proceedings / edited by Andreas Holzinger, Peter Kieseberg, Federico Cabitza, Andrea Campagner, A Min Tjoa, Edgar Weippl
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14065)
Transactions on Rough Sets XXIII / edited by James F. Peters, Andrzej Skowron, Rabi Nanda Bhaumik, Sheela Ramanna
1st ed. 2022.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2022). - (Transactions on Rough Sets. ISSN:18612067 ; 13610)