From Constructivism to Logic Programming: an Homage to Mario Ornaghi

Ferrari Mauro; Fiorentini Camillo; Momigliano Alberto

首页> 外文期刊>Fundamenta Informaticae >From Constructivism to Logic Programming: an Homage to Mario Ornaghi

【24h】

From Constructivism to Logic Programming: an Homage to Mario Ornaghi

机译：从建构主义到逻辑编程：对马里奥·奥纳吉的致敬

获取原文

获取原文并翻译 | 示例

获取外文期刊封面目录资料

开具论文收录证明 >>

文献代查 >>

文献数据库（团队版） >>

页面导航

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

摘要

In this brief note, we outline Mario Ornaghi's contributions to the field of computational logic to celebrate his 70th birthday.

机译：在此简短说明中，我们概述了Mario Ornaghi在计算逻辑领域的贡献，以庆祝他的70岁生日。

著录项

来源
《Fundamenta Informaticae》 |2018年第2期|1-7|共7页
作者
Ferrari Mauro; Fiorentini Camillo; Momigliano Alberto;
展开▼
作者单位

Univ Insubria, Dipartimento Sci Teor & Applicate, Insubria, Italy;

Univ Milan, Dipartimento Informat, Milan, Italy;

Univ Milan, Dipartimento Informat, Milan, Italy;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Saving Weak Programming Students: Applying Constructivism in a First Programming Course [J] . Andrew K Lui, Reggie Kwan, Maria Poon, SIGCSE bulletin . 2004,第2期

机译：拯救弱势编程学生：在第一门编程课程中运用建构主义
2. Logical constructivism, modal logic, and metaphysics: a reply to Professor Pruss' ``Professor Lucas' second epistemic way'' [J] . Billy Joe Lucas International Journal for Philosophy of Religion . 2002,第3期

机译：逻辑建构主义，模态逻辑和形而上学：对普鲁斯教授的``卢卡斯教授的第二种认识方式''的回应
3. The design and pilot evaluation of an interactive learning environment for introductory programming influenced by cognitive load theory and constructivism [J] . Jan Moons, Carlos De Backer Computers & education . 2013,第1期

机译：认知负荷理论和建构主义影响下的入门编程交互式学习环境的设计和试点评估
4. Logic programming as constructivism: a formalization and its application to databases [C] . F. Bry ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems . 1989

机译：逻辑编程作为建构主义：形式化及其在数据库中的应用
5. The logic of political constructivism (Immanuel Kant, John Rawls). [D] . Buck, Richard Michael. 2000

机译：政治建构主义的逻辑（伊曼纽尔·康德，约翰·罗尔斯）。
6. Extending the capabilities of diagnostic decision support programs through links to bibliographic searching: addition of canned MeSH logic to the Quick Medical Reference (QMR) program for use with Grateful Med. [O] . R. A. Miller, L. Jamnback, N. B. Giuse, 1991

机译：通过链接到书目搜索来扩展诊断决策支持程序的功能：在快速医学参考（QMR）程序中添加罐装MeSH逻辑以与Grateful Med一起使用。
7. Logic Programming as Constructivism [O] . Bry François 1989

机译：逻辑程序设计作为建构主义

From Constructivism to Logic Programming: an Homage to Mario Ornaghi

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅