COMPUTER AND HUMAN REASONING - SINGLE IMPLICATIVE AXIOMS FOR GROUPS AND FOR ABELIAN-GROUPS

Authors
MCCUNE W SANDS AD
Citation
W. Mccune et Ad. Sands, COMPUTER AND HUMAN REASONING - SINGLE IMPLICATIVE AXIOMS FOR GROUPS AND FOR ABELIAN-GROUPS, The American mathematical monthly, 103(10), 1996, pp. 888-892
Citations number
8
Categorie Soggetti
Mathematics, General",Mathematics
Journal title
The American mathematical monthly → ACNP
ISSN journal
00029890
Volume
103
Issue
10
Year of publication
1996
Pages
888 - 892
Database
ISI
SICI code
0002-9890(1996)103:10<888:CAHR-S>2.0.ZU;2-W