Publication
(All)

Results 1-1 of 1 (Search time: 0.005 seconds).

Issue DateTitleAuthor(s)SourcescopusWOSFulltext/Archive link
11992Automated Proofs of the Moufang Identities in Alternative RingsAnantharaman, S.; 項潔; Anantharaman, S.; Hsiang, Jieh Journal of Automated Reasoning