Submodule of free Z-module.

Yuichi Futa Hiroyuki Okazaki Yasunari Shidama

Published in: Formaliz. Math. (2013)

Keyphrases

case study
knowledge base
database
data sets
neural network
multimedia
website
learning environment
computer science
mobile devices