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
关系图谱

Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis · 作者

G

Gerald Jay Sussman

R

Richard Stallman