Work

Research of Formalization Processing for Collective Structures in Mathematics Domain

Year: 2007
Type: article
Author: Yin Hong
Institution: Xidian University
Language: English
Open Access status: closed
OpenAlex ID: W2387598506
FWCI:
Cites:
Cited by:
Related to: 10