伊尔·孔特尼多(pulsa Retorno)
加泰罗尼亚
卡斯特拉诺
英语
Incia la sessió
注册人(无UPC)
Entrada(无UPC)
国际导航卫星组织
邮件
Contacta公司
世界
加泰罗尼亚
加泰罗尼亚
卡斯特拉诺
英语
用户
Incia sessió
Incia la sessió
注册人(无UPC)
Entrada(无UPC)
纳夫加西奥国际干酪
UPCommons公司。
UPC门户网站
64.858电子打印UPC
你在这里:
视觉系统
UPCommons基金
印本
部门
计算机科学部
修改条款
维萨利扎·利特姆
UPCommons基金
印本
部门
计算机科学部
修改条款
维萨利扎·利特姆
浏览器已禁用JavaScript。
没有它,此网站的某些功能可能无法运行。
用于推理图属性的导航逻辑
维萨利察/奥布雷
REVISADO论文JLAMP rev-set-2020.pdf(449,3Kb)
2016年10月10日/j.jlamp.2020.100616
Veure estadístiques d’ús d’UPCommons公司
洛杉矶参考/重新选择建筑
包括2022年的dades d’u s des de
Cita公司:
高密度脂蛋白:2117/334768
Mostra el registre d’item完成
玛丽莎·纳瓦罗·戈梅斯
费尔南多·奥雷哈斯·瓦尔德斯
埃尔维拉·布兰科
莱恩·兰伯斯
Tipus de文档
第条
数据公开
2021-01
Condicions d'accés公司
Accés obert公司
反向投资
continguts d'aquesta obra estan主题为创意共享空间
:
Reneximent-NoComercial-SenseObraDerivada 4.0国际
项目
MODELOS Y METODOS BASADOS EN GRAFOS PARA LA COMPUTACION EN GRAN ESCALA(AEI-TIN2017-86727-C2-1-R)
摘要
图在计算机科学的许多领域都发挥着重要作用。
特别是,我们的工作受到模型驱动软件开发和图形数据库的推动。
因此,拥有表示和推理给定图可能满足的属性的方法非常重要。
为此,在本文中,我们提出了一种可视化逻辑,它允许我们描述图形属性,包括导航属性,即关于图形中路径的属性。
逻辑配备了一个演绎的表格方法,我们已经证明它是健全和完整的。
Citació
纳瓦罗,M.【等人】。
用于推理图形属性的导航逻辑。
《编程中的逻辑和代数方法杂志》,2021年,第118卷,第100616条,第1-33页
URI(URI)
http://hdl.handle.net/2117/334768
内政部
2016年10月10日/j.jlamp.2020.100616
国际标准编号
2352-2208年
Versióde l’editor编辑
https://www.sciencedirect.com/science/article/pii/S2352220820301012
Col·leccions上校
计算机科学部-
修改条款
[1.062]
ALBCOM-阿尔哥里斯米亚、生物信息、复合材料形式-
修改条款
[280]
Veure estadístiques d’ús d’UPCommons公司
完成Mostra el registre d’ítem
装配工
Descripció
米达
格式
维萨利察
REVISADO文件JLAMP rev-set-2020.pdf
449.3千桶
PDF格式
维萨利察/奥布雷
Cerca a UPCommons公司
Aquesta col·lecció
Explora公司
Aquesta col·lecció
根据医疗数据
汽车
贡献祭坛
蒂托尔斯
泰晤士河
地下水位下降
科勒·莱西翁社区
根据医疗数据
汽车
贡献祭坛
蒂托尔斯
泰晤士河