期刊名:Journal of Formalized Mathematics/issn:
收入的数据库查看文献题录(留空直达期刊首页)收入起止年份
Free E- Journals
卷号:,首页页码:
Available from 1989 volume: 1