Publication
(All)

Results 1-1 of 1 (Search time: 0.007 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 280