An edition of Abstraction, reformulation, and approximation
(2002)
Abstraction, Reformulation, and Approximation
5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)
1 edition
by Sven Koenig and Robert C. Holte
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Congresses, Computer science, Artificial intelligence, Formulierung, Approximation, Theorie de l', Inferenz, Maschinelles Lernen, Kunstliche Intelligenz, Model Checking, Programmierung, Congres, Constraint-Erfullung, Korrektur, Informatique, INTELIGENCIA ARTIFICIAL (CONGRESSOS), Abstraktion, Kongress, Approximation, ESPECIFICACʹAO DE PROGRAMAS E SISTEMAS (CONGRESSOS), Intelligence artificielle| Edition | Availability |
|---|---|
1
Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings
2006, Springer London, Limited
in English
3540456228 9783540456223
|
zzzz
|
2
Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)
September 17, 2002, Springer
Paperback
in English
- 1 edition
3540439412 9783540439417
|
aaaa
|
Book Details
First Sentence
"How can a computer program developer ensure that a program actually implements its intended purpose?"
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| October 4, 2021 | Edited by ImportBot | import existing book |
| October 28, 2018 | Edited by ImportBot | import existing book |
| July 29, 2014 | Created by ImportBot | import new book |