Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
Have you forgotten your password?
Home
College of Electrical Engineering and Computer Science / 電機資訊學院
Computer Science and Information Engineering / 資訊工程學系
Automated Proofs of the Moufang Identities in Alternative Rings
Details
Automated Proofs of the Moufang Identities in Alternative Rings
Resource
Journal of Automated Reasoning, v.6, p.79-109
Journal
Journal of Automated Reasoning
Journal Volume
6
Journal Issue
1
Pages
79-109
Date Issued
1992
Date
1992
Author(s)
Hsiang, Jieh
DOI
10.1007/BF00302643
URI
http://ntur.lib.ntu.edu.tw//handle/246246/118416
http://ntur.lib.ntu.edu.tw/bitstream/246246/118416/1/17.pdf
Type
journal article
File(s)
Loading...
Loading...
Download
Name
17.pdf
Size
23.19 KB
Format
Adobe PDF
Checksum
(MD5):85b327e68cd4213aacf283dc6e7f3094
