Automated reasoning : 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, proceedings / Alessandro Armando, Peter Baumgartner, Gilles Dowek (Eds.)
- Författare
- N.S.W.) 2008 : (4th IJCAR (Conference) Sydney
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | uuuu-uuuu | Utgivningsland okänt / Ej specificerat |