Seventeen Provers of the World (Lecture notes in computer science, Lecture notes in artificial intelligence. AI-systems 3600)
- Författare
- Freek Wiedijk
- Genre
- Electronic books
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Verlag | 2006 | Utgivningsland okänt / Ej specificerat |