Eintrag weiter verarbeiten
The scope and limits of simulation in automated reasoning
Gespeichert in:
Zeitschriftentitel: | Artificial Intelligence |
---|---|
Personen und Körperschaften: | , |
In: | Artificial Intelligence, 233, 2016, S. 60-72 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Elsevier BV
|
Schlagwörter: |
Umfang: | 60-72 |
---|---|
ISSN: |
0004-3702
|
DOI: | 10.1016/j.artint.2015.12.003 |