Further processing options
Proving theorems by reuse
Saved in:
Journal Title: | Artificial Intelligence |
---|---|
Authors and Corporations: | , |
In: | Artificial Intelligence, 116, 2000, 1-2, p. 17-66 |
Type of Resource: | E-Article |
Language: | English |
published: |
Elsevier BV
|
Subjects: |