Вы здесь

Главная

автоматическое доказательство

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

Advances in Artificial Intelligence: Proc./30th Canadian Conference on AI, Canadian AI 2017, Edmonton,AB,Canada, May 2017
Artificial Intelligence and Symbolic Computation: Proc./13th International Conference, AISC 2018, Suzhou, China, September 2018
Automated Reasoning, Part I: Proc./10th International Joint Conference, IJCAR 2020, Paris, France, July 2020
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./28th International Conference, TABLEAUX 2019, London, UK, September 2019
Frontiers of Combining Systems: Proc./11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 2017
Frontiers of Combining Systems: Proc./13th International Symposium, FroCoS 2021, Birmingham, UK, September 2021
Intelligent Computer Mathematics: Proc./10th International Conference, CICM 2017, Edinburgh, UK, July 2017
Interactive Theorem Proving: Proc./8th International Conference, ITP 2017, Brasilia, Brazil, Septeber 2017
Interactive Theorem Proving: Proc./9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FLoC 2018, Oxford, UK, July 2018
KI 2020: Advances in Artificial Intelligence: Proc./43rd German Conference on AI, Bamberg, Germany, September 2020
Knowledge Engineering and Knowledge Management: Revised Slected Papers/EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 2017
Logic and Its Applications: Proc./8th Indian Conference, ICLA 2019, Delhi, India, March 2019
NASA Formal Methods: Proc./11th International Symposium, NFM 2019, Houston,TX,USA, May 2019
Parameterized Complexity in the Polynomial Hierarchy: Extending Parameterized Complexity Theory
Recent Trends and Future Technology in Applied Intelligence: Proc./31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC. Canada. June 2018
Theory and Models for Cyber Situation Awareness
Verified Software: Revised Selected Papers/9th International Conference, VSTTE 2017, Heidelberg, Germany, July 2017
Система автоматического доказательства теорем интуиционистской логики на основе обратного метода