Further processing options
The scope and limits of simulation in automated reasoning
Saved in:
Journal Title: | Artificial Intelligence |
---|---|
Authors and Corporations: | , |
In: | Artificial Intelligence, 233, 2016, p. 60-72 |
Type of Resource: | E-Article |
Language: | English |
published: |
Elsevier BV
|
Subjects: |