The Architecture of an Implementation of Lambda-Prolog: Prolog/Mali
The Architecture of an Implementation of Lambda-Prolog: Prolog/Mali
复制标题
Lambda-Prolog 实现的架构：Prolog/Mali
DOI：
--
复制
发表时间：
1994
期刊：
影响因子：
--
通讯作者：
O. Ridoux
中科院分区：
文献类型：
--
作者：
P. Brisset;O. Ridoux
HAL是一个多学科的开放获取档案，用于存储和传播科研文献，无论它们是否出版。这些文件可能来自法国或国外的教学和研究机构，也可能来自公共或私人研究中心。L的《多学科档案》，《科学文献的传播与传播》，《S与其他科学文献》，《法兰西科学与技术研究》，《S与公众实验室》，《实现的体系结构：PROLOG/马里·帕斯卡尔·布里塞特，奥利维尔·里杜》
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. The Architecture of an Implementation of LambdaProlog: Prolog/Mali Pascal Brisset, Olivier Ridoux
LLPTTP：使用线性逻辑编程语言编译器的定理证明器
DOI：
--
发表时间：
2003
期刊：
Computer Software 20-5
影响因子：
--
作者：
N.Tamura;M.Banbara
通讯作者：
M.Banbara