Special issue on dynamic geometry and automated reasoning

Botana Francisco; Kovacs Zoltan; Recio Tomas

首页> 外文期刊>Journal of symbolic computation >Special issue on dynamic geometry and automated reasoning

【24h】

Special issue on dynamic geometry and automated reasoning

机译：有关动态几何和自动推理的特刊

获取原文

获取原文并翻译 | 示例

开具论文收录证明 >>

页面导航

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

著录项

来源
《Journal of symbolic computation》 |2020年第maraapr期|1-2|共2页
作者
Botana Francisco; Kovacs Zoltan; Recio Tomas;
展开▼
作者单位

Univ Vigo Dept Appl Math 1 Pontevedra Spain;

Private Univ Coll Educ Diocese Linz Linz Austria;

Univ Cantabria Dept Math Stat & Computat Santander Spain;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Preface to the Special Issue on Automated Reasoning Systems [J] . Biere Armin, Tinelli Cesare, Weidenbach Christoph Journal of Automated Reasoning . 2020,第3期

机译：自动推理系统特刊序言
2. A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller’s 60th birthday [J] . Baelde David, Felty Amy, Nadathur Gopalan, Mathematical structures in computer science . 2019,第8期

机译：为纪念达勒·米勒（Dale Miller）诞辰60周年，特刊有关结构证明理论，自动推理和计算的专刊
3. Foreword to the Special Issue on Automated Reasoning [J] . Fontaine Pascal, Kaliszyk Cezary, Schulz Stephan, AI communications . 2018,第3期

机译：自动推理专刊前言
4. Finding and Proving New Geometry Theorems in Regular Polygons with Dynamic Geometry and Automated Reasoning Tools [C] . Zoltan Kovacs International conference on intelligent computer mathematics . 2018

机译：使用动态几何和自动推理工具查找和证明规则多边形中的新几何定理
5. Diophantine approximations by special points and applications to Dynamics and Geometry. [D] . Dimitrov, Vesselin Atanasov. 2017

机译：特殊点的丢番亭近似值及其在动力学和几何学中的应用。
6. Central ethical issues in coercive treatment of children and adolescents with special reference to the reasoning of the staff members [O] . Håkan Thorsén 2007

机译：强制性对待儿童和青少年的核心道德问题特别涉及工作人员的推理
7. Preface to the Special Issue of the Journal of Automated Reasoning on Selected Papers from the 4th International Joint Conference of Automated Reasoning [O] . A. ARMANDO, BAUMGARTNER P, DOWEK G 2010

机译：第四届国际自动推理联席会议《自动推理杂志》特刊序言

Special issue on dynamic geometry and automated reasoning

著录项

引文网络

相似文献

相关主题

期刊订阅