首页> 美国政府科技报告 >Recent Research in Artificial Intelligence and Foundations of Programming.

【24h】

Recent Research in Artificial Intelligence and Foundations of Programming.

机译：人工智能与程序设计基础的最新研究。

获取原文

页面导航

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

摘要

This report summarizes recent research in the following areas: artificial intelligence and formal reasoning, mathematical theory of computation and program synthesis, program verification, image understanding, and knowledge based programming. (Author)

著录项

作者
McCarthy, J.; Binford, T.; Green, C.; Luckham, D.; Manna, Z.;
展开▼
作者单位

展开▼
年度 1978
页码 1-99
总页数 99
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Artificial intelligence; Computer programming; Computations; Theory; Production; Methodology; Models; Stereomapping; Computer program verification; Image processing;

机译：人工智能;计算机编程;计算;理论;生产;方法;模型;立体图;计算机程序验证;图像处理;

相似文献

外文文献
中文文献
专利

1. Consciousness, intentionality and intelligence: some foundational issues for artificial intelligence [J] . MURAT AYDEDE, GUVEN GUZELDERE Journal of experimental and theoretical artificial intelligence (Online) . 2000,第3期

机译：意识，意向性和智能：人工智能的一些基本问题
2. Design of Ram-Compacted Bearing Base Piling Foundations by Simple Numerical Modelling Approach and Artificial Intelligence Technique [J] . Du Zhaodong, Shahin Mohamed A., El Naggar Hany International Journal of Geosynthetics and Ground Engineering . 2021,第2期

机译：简单数值模拟方法和人工智能技术设计RAM压实轴承底座桩基础
3. Artificial intelligence as an enabler of B2B marketing: A dynamic capabilities micro-foundations approach [J] . Mikalef Patrick, Conboy Kieran, Krogstie John Industrial marketing management . 2021,第Octa期

机译：人工智能作为B2B营销的推动者：动态能力微基础方法
4. Micro-foundations of Artificial Intelligence Adoption in Business: Making the Shift [C] . Amit Kumar Kushwaha, Arpan Kumar Kar IFIP WG 8.6 International Conference on Transfer and Diffusion of IT . 2020

机译：人工智能在商业中采用的微基础：转变
5. Multiple intelligence and artificial intelligence: Educational implications of computers for learning interacting with multiple intelligences. [D] . Hennigan, Thomas Anthony. 2000

机译：多元智能和人工智能：计算机在学习与多元智能交互方面的教育意义。
6. Beyond the hype of big data and artificial intelligence: building foundations for knowledge and wisdom [O] . Josip Car, Aziz Sheikh, Paul Wicks, 2019

机译：超越大数据和人工智能的炒作：为知识和智慧奠定基础
7. Psychological Foundations of Explainability and Interpretability in Artificial Intelligence [O] . David A. Broniatowski 2021

机译：人工智能解释性和解释性的心理基础
8. Basic Research in Artificial Intelligence and Foundations of Programming [R] . McCarthy, J., Binford, T., Luckham, D., 1980

机译：人工智能基础研究与程序设计基础

Recent Research in Artificial Intelligence and Foundations of Programming.

摘要

著录项

相似文献

相关主题

期刊订阅