国家调查局
塞维利亚大学
Mostrar/Ocultar menú
Mostrar/Ocultar menú
埃斯塔·科莱西翁
|
|
|
|
加速器
|
Contacto(联系人)
|
阿尤达
|
美国图书馆
|
埃斯塔·科莱西翁
浏览器已禁用JavaScript。
没有它,此网站的某些功能可能无法运行。
Todo idUS公司
社区和社区
公共事务部
Autores公司
蒂图洛斯
材料
金融机构
Premiados公司
Perfiles de autor美国
埃斯塔·科莱西翁
公共事务费
Autores公司
蒂图洛斯
材料
金融机构
Premiados公司
米昆塔
加速器
登记员
su trabajo矿床
Alta准沉积岩
图书馆事务律师
Más信息
Estadísticas公司
普通Estadísticas
Estadísticas de uso公司
波兰
宣言机构
贝林宣言
idUS政策
验证
国际数据交换系统
调查
Ingeniería y Arquitectura公司
人工智能计算中心
艺术(Ciencias de la Computación e Inteligencia Artificial)
验证
国际数据交换系统
调查
Ingeniería和Arquitectura
人工智能计算中心
艺术(Ciencias de la Computación e Inteligencia Artificial)
验证
艺术
ACL2中的代数结构和态射建模
汽车
乔纳森·赫拉斯
马丁·马特奥斯,弗朗西斯科·杰苏斯
维科·帕斯夸尔
德拉门托
塞维利亚大学。
人工计算智能部
公共事务部
2015
Fecha de depósito公司
2019-05-20
Publicado en公司
工程、通信和计算中的应用代数,26(3),277-303。
简历
在本文中,我们介绍了代数结构和形态
可以在ACL2定理证明器中建模。
也就是说,我们提供指导-
来实现一组工具,以促进相关的形式化。。。
在本文中,我们介绍了代数结构和形态
可以在ACL2定理证明器中建模。
也就是说,我们提供指导-
行来实现一组工具,以简化与
代数结构|因此,从se开始的代数层次结构-
向量空间的toid已经开发出来。
可以使用生成的工具
以简化关于代数结构的一般理论的发展。
在
特别是,与
from-scrach方法在处理复杂问题时尤其重要
数学结构;
例如,代数中使用的结构
拓扑结构。
这项工作表明,ACL2可以是一个合适的正式化工具
例如,来自计算机代数系统的代数概念。
项目标识符
MTM2009-13842-C02-01
243847(数学)
Cita公司
Heras,J.,Martín Mateos,F.J.y Pascual,V.(2015)。
在ACL2中建模代数结构和形态。
工程、通信和计算中的应用代数,26(3),277-303。
2007年10月7日/00200-015-0252-9
科学网
:
:
Estadísticas de uso公司
完整的Mostrar el registro delítem
菲切罗斯
塔马尼奥
福尔马托
版本
描述(Descripción)
阿霍姆西亚.pdf
410.8千桶
[PDF](PDF格式)
版本/
阿布里尔
https://hdl.handle.net/11441/86550
https://doi.org/10.1007/s00200-015-0252-9
编辑Versión del
Este registro aparece en las siguientes colecciones公司
艺术(Ciencias de la Computación e Inteligencia Artificial)
例外情况下,许可证描述如下:归因非商业性NoDerivatives 4.0国际