| 書名 | 作者 | 出版年 | 查看 | 回報錯誤連結 |
|---|
| Constructing correct software |
John Cooke. |
2005 |
查看
|
回報問題連結 |
| Proofs and algorithms:an introduction to logic and computability / |
Gilles Dowek. |
2011 |
查看
|
回報問題連結 |
| Logical aspects of computational linguistics:6th international conference, LACL 2011, Montpellier, France, June 29 - July 1, 2011 : proceedings / |
Sylvain Pogodalla, Jean-Philippe Prost. |
2011 |
查看
|
回報問題連結 |
| Logical foundations of computer science :International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, proceedings / |
Sergei Artemov, Anil Nerode. |
|
查看
|
回報問題連結 |
| Ontologies and concepts in mind and machine :25th International Conference on Conceptual Structures, ICCS 2020, Bolzano, Italy, September 18-20, 2020 : proceedings / |
Mehwish Alam, Tanya Braun, Bruno Yun. |
|
查看
|
回報問題連結 |
| Type systems for distributed programs:components and sessions / |
Ornela Dardha. |
2016 |
查看
|
回報問題連結 |
| The semantic web: ESWC 2019 Satellite Events :ESWC 2019 Satellite Events, Portoroz, Slovenia, June 2-6, 2019 : revised selected papers / |
Pascal Hitzler, Sabrina Kirrane, Olaf Hartig, Victor de Boer, Maria-Esther Vidal, Maria Maleshkova, Stefan Schlobach, Karl Hammar, Nelia Lasierra, Steffen Stadtmuller, Katja Hose, Ruben Verborgh. |
|
查看
|
回報問題連結 |
| Scalable uncertainty management:second international conference, SUM 2008, Naples, Italy, October 1-3, 2008 : proceedings / |
Sergio Greco, Thomas Lukasiewicz. |
2008 |
查看
|
回報問題連結 |
| Schema matching and mapping |
Zohra Bellahsene, Angela Bonifati, Erhard Rahm. |
2011 |
查看
|
回報問題連結 |
| Computational logic and set theory:applying formalized logic to analysis / |
Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo. |
2011 |
查看
|
回報問題連結 |
| Data mining and knowledge discovery via logic-based methods:theory, algorithms, and applications / |
Evangelos Triantaphyllou. |
2010 |
查看
|
回報問題連結 |
| The semantic web - ISWC 2019 :18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019 : proceedings. |
Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtech Svatek, Isabel Cruz, Aidan Hogan, Jie Song, Maxime Lefrancois, Fabien Gandon. |
|
查看
|
回報問題連結 |
| The semantic web - ISWC 2019 :18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019 : proceedings. |
Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtech Svatek, Isabel Cruz, Aidan Hogan, Jie Song, Maxime Lefrancois, Fabien Gandon. |
|
查看
|
回報問題連結 |
| Fundamentals of logic and computation :with practical automated reasoning and verification / |
Zhe Hou. |
|
查看
|
回報問題連結 |
| Foundations of information and knowledge systems :10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018 : proceedings / |
Flavio Ferrarotti, Stefan Woltran. |
|
查看
|
回報問題連結 |
| Membrane Computing:5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers / |
Gian carlo Mauri ... [et al.]. |
2005 |
查看
|
回報問題連結 |
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty:8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings / |
Lluis Godo. |
2005 |
查看
|
回報問題連結 |
| Logic Programming and Nonmonotonic Reasoning:8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings / |
Chitta Baral ... [et al.]. |
2005 |
查看
|
回報問題連結 |
| AI*IA 2005: Advances in Artificial Intelligence ::9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings |
Stefania Bandini, Sara Manzoni. |
2005 |
查看
|
回報問題連結 |
| Formal methods:state of the art and new directions / |
Paul Boca, Jonathan P. Bowen, Jawed Siddiqi. |
2010 |
查看
|
回報問題連結 |
| From requirements to Java in a snap ::model-driven requirements engineering in practice / |
Michal Smialek, Wiktor Nowakowski. |
|
查看
|
回報問題連結 |
| Logic programming, knowledge representation, and nonmonotonic reasoning:essays dedicated to Michael Gelfond on the occasion of his 65th birthday / |
Marcello Balduccini, Tran Cao Son. |
2011 |
查看
|
回報問題連結 |
| Case-based reasoning research and development:8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 : Proceedings / |
Lorraine McGinty, David C. Wilson. |
2009 |
查看
|
回報問題連結 |
| Computing with words:principal concepts and ideas / |
Lotfi A. Zadeh. |
2012 |
查看
|
回報問題連結 |
| Constraints meet concurrency / |
Jacopo Mauro. |
|
查看
|
回報問題連結 |
| Coalgebraic methods in computer science:14th IFIP WG 1.3 International Workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018 : revised selected papers / |
Corina Cirstea. |
2018 |
查看
|
回報問題連結 |
| Automated reasoning with analytic tableaux and related methods:18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings / |
Martin Giese, Arild Waaler. |
2009 |
查看
|
回報問題連結 |
| Refinement in Z and Object-Z ::foundations and advanced applications / |
John Derrick, Eerke A. Boiten. |
|
查看
|
回報問題連結 |
| Pattern recognition :41st DAGM German Conference, DAGM GCPR 2019, Dortmund, Germany, September 10-13, 2019 : proceedings / |
Gernot A. Fink, Simone Frintrop, Xiaoyi Jiang. |
|
查看
|
回報問題連結 |
| Implementation and application of automata :23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018 : proceedings / |
Cezar Campeanu. |
|
查看
|
回報問題連結 |
| Theoretical computer science :35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017 : proceedings / |
Dingzhu Du, Lian Li, En Zhu, Kun He. |
|
查看
|
回報問題連結 |
|
|
