Formalized Mathematics 2011 nr 1 - Matuszewski, Roman. Ed. (University of Bialystok)
Keywords: Computer Mathematics; Computer Science; Computer assisted approach