首页> 外文OA文献 >V.M. Glushkov and automated theorem proving in Ukraine: evidence algorithm evidence algorithm and SAD systems

【2h】

V.M. Glushkov and automated theorem proving in Ukraine: evidence algorithm evidence algorithm and SAD systems

机译：v.M. Glushkov和乌克兰的自动定理证明：证据算法证据算法和悲伤系统

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
O.V. Lyaletski;
展开▼
作者单位

展开▼
年度 2020
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Development of the Automatic Control Theory in the V.M. Glushkov Institute of Cybernetics and Institutes of the Cybernetic Center of the National Academy of Sciences of Ukraine [J] . V.M. KUNTSEVICH, A.A. CHIKRIY Journal of automation and information sciences . 2003,第5a8期

机译：V.M.中自动控制理论的发展格卢什科夫控制论研究所和乌克兰国家科学院控制论中心研究所
2. An Insight into NTP (Neural Theorem Provers) in the Context of Image Processing Algorithms R&D - A Simple Suggestion and Short Communication on Exploring HO List and DeepHOL: Machine Learning (ML) of Higher Order Theorem Proving [J] . Nirmal Tej Kumar International Journal of Applied Research on Information Technology and Computing . 2020,第1期

机译：在图像处理算法的背景下对NTP（神经理定理）的洞察 - 探索HO列表和深脑的简单建议和短期通信：高阶定理的机器学习（ML）证明
3. EVIDENCE ALGORITHM AND SAD SYSTEMS: PAST AND POSSIBLE FUTURE [J] . Lyaletski A. V. Cybernetics and Systems Analysis . 2021,第1期

机译：证据算法和悲伤系统：过去和可能的未来
4. Evidence Algorithm and System for Automated Deduction: A Retrospective View (In Honor of 40 Years of the EA Announcement) [C] . Alexander Lyaletski, Konstantin Verchinine Intelligent computer mathematics . 2010

机译：自动化演绎的证据算法和系统：回顾性观点（以纪念EA公告40周年）
5. Using theorem proving and algorithmic decision procedures for large-scale system verification [D] . Ray, Sandip 2005

机译：使用定理证明和算法决策程序进行大规模系统验证
6. Abstract P38. An Algorithmic Approach to Ballistic Facial Trauma Reconstruction in the Civilian Population: A Systematic Review of the Literature and Evidence Based Guidelines [O] . Anmol Chattha, Johnson C. Lee, Ashit Patel 2017

机译：摘要P38。平民人口弹道面部创伤重建的算法方法：文献和循证指南的系统综述
7. Evidence Algorithm and System for Automated Deduction: A Retrospective View [O] . Lyaletski, Alexander, Verchinine, Konstantin 2010

机译：自动演绎的证据算法和系统：回顾性视图
8. Revising Basic Theorem Proving Algorithms to Cope withrnthe Logic of Partial Functions [R] . 2014

机译：修正基本定理证明算法以处理部分函数的逻辑

V.M. Glushkov and automated theorem proving in Ukraine: evidence algorithm evidence algorithm and SAD systems

著录项

引文网络

相似文献

相关主题

期刊订阅