|
|
Stallman, R.M. and Sussman, G.J. (1977): Forward Resoning and Dependancy-Directed Backtracking in a System for Computer-Aided Circuit Analysis
| Title: |
Forward Resoning and Dependancy-Directed Backtracking in a System for Computer-Aided Circuit Analysis |
| Author(s): |
Stallman, R.M. and Sussman, G.J. |
| Year: |
1977 |
| Journal: |
Artificial Intelligence |
| Number: |
9 |
| Pages: |
135-196 |
Concepts
|
|
