Login / Signup

Transparent Rule Based CAS to Support Formalization of Knowledge.

Reinhard Oldenburg
Published in: Math. Comput. Sci. (2017)
Keyphrases