1
Vydáno 2005
“...International Workshop on Mathematics Mechanization Šanghaj, Čína)...”
Kniha