Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis 论文

1977Artificial Intelligence引用 714
DOI
Software Engineering ResearchModel-Driven Software Engineering TechniquesLogic, programming, and type systems
企业软件Software Engineering ResearchModel-Driven Software Engineering TechniquesLogic, programming, and type systems
相关技术:Model-Driven Software Engineering Techniques
关系图谱

2

作者

1

相关技术

0

相关事件

0

相关文章

作者查看全部 (2)

G

Gerald Jay Sussman

R

Richard Stallman

相关技术查看全部 (1)

Model-Driven Software Engineering Techniques

相关事件

暂无数据

相关文章

暂无数据