oprava existující anotace, přidání nové anotace
|
Název: |
| Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, ... / Lecture Notes in Artificial Intelligence) |
Autor: |
| |
Rok vydání: |
| 2007 |
Identifikátory: |
| 9783540730835 |
|
© 2013-2025 Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích, admin@obalkyknih.cz