Towards Mechanized Mathematical Assistants: 14Th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : Proceedings (Lecture notes in computer science, Lecture notes in artificial intelligence 4573)
- Författare
- Manuel Kauers
- Genre
- Electronic books
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2007 | Utgivningsland okänt / Ej specificerat |