Proof assistants at the hardware-software interface (invited talk)

机译：硬件软件界面上的校对助手（邀请谈话）

代理获取

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

页面导航

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

著录项

作者
Adam Chlipala;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Proofs of Soundness and Proof Search (Invited Talk) [J] . Albert Atserias LIPIcs : Leibniz International Proceedings in Informatics . 2020,第2期

机译：声音和证据搜索证明（邀请的谈话）
2. From Classical Proof Theory to P versus NP: a Guide to Bounded Theories (Invited Talk) [J] . Iddo Tzameret LIPIcs : Leibniz International Proceedings in Informatics . 2020,第30期

机译：从古典证明理论到P与NP：有界理论的指南（邀请谈话）
3. A Million Lines of Proof About a Moving Target (Invited Talk) [J] . June Andronick LIPIcs : Leibniz International Proceedings in Informatics . 2019,第1期

机译：关于移动目标的百万条证据（特邀演讲）
4. Invited Talk: Emerging Role of Digital Assistant in Augmented Reality Driven Human-City Interaction [C] . Lik-Hang Lee International Conference on Pervasive Computing and Communications Workshops . 2020

机译：特邀演讲：数字助理在增强现实驱动的人与城市互动中的新兴角色
5. Reducing the Costs of Proof Assistant Based Formal Verification or: Conviction without the Burden of Proof. [D] . Tatlock, Zachary Lee. 2014

机译：降低基于证明助手的形式验证的成本或：无需证明负担的定罪。
6. Fewer invited talks by women in evolutionary biology symposia [O] . J Schroeder, H L Dugdale, R Radersma, -1

机译：妇女在进化生物学专题讨论会上的受邀演讲减少
7. Science AMA Series: I'm Shelly Jo Kraft, an assistant professor at Wayne State University. I'm here to talk about, and invite you to participate in, my study on the genetics of stuttering. AMA! [O] . -1

机译：科学AMA系列：我是韦恩州立大学助理教授的Shelly Jo Kraft。我在这里谈谈，并邀请您参与，我对口吃的遗传学研究。 ama！

Proof assistants at the hardware-software interface (invited talk)

著录项

引文网络

相似文献

相关主题

期刊订阅