Вы здесь

Главная

доказательство

Связанные издания:

KI-97: Advances in Artificial Intelligence: Proc./21st Annual Conf. on Artificial Intelligence. Freiburg, Germany, September 1997
Kleene Algebra with Tests and Commutativity Conditions
Knowledge-Driven Multimedia Information Extraction and Ontology Evolution: Bridging thq Semantic Gap
Knowledge Engineering and Knowledge Management: Revised Selected Papers/EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linkoping, Sweden, November 2014
Knowledge Science, Engineering and Management: Proc./7th International Conference, KSEM 2014, Sibiu, Romania, October 2014
Language. Data, and Knowledge: Proc./1st International Conference, LDK 2017, Galwey, Ireland, June 2017
LCF Examples in HOL
Logical Approaches to Computational Barriers: Proc./Second Conference on Computability in Europe, CiE 2006. Swansea, UK, June/July 2006
Logic and Argumentation: Proc./3rd International Conference, CLAR 2020, Hangzhou, China, April 2020
Logic and Argumentation: Proc./4th International Conference, CLAR 2021, Hangzhou, China, October 2021
Logic and Computation
Logic and Its Applications: Proc./4th Indian Conference, ICLA 2011, Delhi, India, January 2011
Logic and Programming, Artificial Intelligence, and Reasoning: Proc./17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 2010
Logic for Programming, Artificial Intelligence, and Reasoning: Proc./11th International Conference, LPAR 2004. Montevideo, Uruguay, March 2005
Logic for Programming, Artificial Intelligence, and Reasoning: Proc./13th Intl Conf, LPAR 2006. Phnom Penh, Cambodia, November 2006
Logic for Programming, Artificial Intelligence, and Reasoning: Proc./15th International Conference, LPAR 2008. Doha, Quatar, November 2008
Logic for Programming, Artificial Intelligence, and Reasoning: Proc./20th International Conference, LPAR-20 2015, Suva, Fiji, November 2015
Logic for Programming, Artificial Intelligence, and Reasoning: Revised Selected Papers/16th International Conference, LPAR-16, Dakar, Senegal, April/May 2010
Logic for Programming, Artificial Intelligenec, and Reasoning: Proc./12th International Conference, LPAR 2005. Montego Bay, Jamaica, December 2005
Logician s Workbench
Logic, Language, Information, and Computation: Proc./22nd International Workshop, WoLLIC 2015, Bloomington,IN,USA, July 2015
Logic, Language, Information, and Computation: Proc./23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 2016
Logic of Proofs and provability
Logic Programming and Nonmonotonic Reasoning: Proc./12th International Conference, LPNMR 2013, Corunna, Spain, September 2013
Logic Programming and Nonmonotonic Reasoning: Proc./13th International Conference, LPNMR 2015, Lexington,KY,USA, September 2015
Logic Programming and Nonmonotonic Reasoning: Proc./14th International Conference, LPNMR 2017, Espoo, Finland, July 2017
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
Logic Programming: Proc./25th International Conference, ICLP 2009, Pasadena, CA,USA, July 2009
Logic, Rationality, and Interaction: Proc./7th International Workshop, LORI 2019, Chongqing, China, October 2019
Logics in Artficial Intelligence: Proc./14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 2014
Logics in Artificial Intelligence: Proc./11th European Conference, JELIA 2008. Dresden, Germany, September/October 2008
Logics in Artificial Intelligence: Proc./13th European Conference, JELIA 2012, Toulouse, France, September 2012
Logics in Artificial Intelligence: Proc./15th European Conference, JELIA 2016, Larnaca, Cyprus, November 2016
Logics in Artificial Intelligence: Proc./16th European Conference, JELIA 2019, Rende, Italy, May 2019
Logics in Artificial Intelligence: Proc./17th European Conference, JELIA 2021, Virtual Event, May 2021
Logoc for Programming, Artificial Intelligence, and Reasoning: Proc./19th International Conference, LPAR-19, Stellenbosch, South Africa, December 2013
Logoc of knowledge with jastifications
Machine Learning and Knowledge Discovery in Databases: Part III: Research Track: Proc./European Conference, ECML PKDD 2021, Bilbao, Spain, September 2021
Machine Learning and Knowledge Discovery in Databases: Part II: Research Track: Proc./European Conference, ECML PKDD 2021, Bilbao, Spain, September 2021
Machine Learning and Knowledge Discovery in Databases, Part I: Proc./European Conference, ECML PKDD 2014, Nancy, France, September 2014
Machine Learning and Knowledge Discovery in Databases: Part I: Research Track: Proc./European Conference, ECML PKDD 2021, Bilbao, Spain, September 2021
Machine Learning and Knowledge Discovery in Databases: Part IV: Applied Data Science Track: Proc./European Conference, ECML PKDD 2021, Bilbao, Spain, September 2021
Machine Learning and Knowledge Discovery in Databases: Part V: Applied Data Science Track: Proc./European Conference, ECML PKDD 2021, Bilbao, Spain, September 2021
Machine Learning in Medical Imaging: Proc./9th International Workshop, MLMI 2018 Held in Conjunction with MICCAI 2018, Granada, Spain, September 2018
MacKE: Yet Another Proof Assistant & Automated Pedagogic Tool
Mathematical Knowledge Management: Proc./5th International Conference, MKM 2006. Workingham, UK, August 2006
Mathematical methods in proving properties of programs
Mathematical Software - ICMS 2016: Proc./5th International Conference, Berlin, Germany, July 2016
Mathematics of Program Construction: Proc./12th International Conference, MPC 2015, Konigswinter, Germany, June 2015
Mining Intelligence and Knowledge Exploration: Proc./2nd International Conference, MIKE 2014, Cork, Ireland, December 2014