Constructive Theories of Functions and Classes 论文

1979Studies in logic and the foundations of mathematics引用 241

Logic, programming, and type systemsComputability, Logic, AI AlgorithmsLogic, Reasoning, and Knowledge

Computability, Logic, AI Algorithms Logic, Reasoning, and Knowledge Logic, programming, and type systems

相关技术:Computability, Logic, AI Algorithms

0

作者

1

相关技术

0

相关事件

0

相关文章

详细信息

发表期刊/会议: Studies in logic and the foundations of mathematics
发表日期: 1979-01-01
发表年份: 1979

关键词

Logic, programming, and type systemsComputability, Logic, AI AlgorithmsLogic, Reasoning, and Knowledge

作者

暂无数据

相关技术查看全部 (1)

Computability, Logic, AI Algorithms

相关事件

暂无数据

相关文章

暂无数据