Some Group Theoretic Examples with Completion theorem Provers

Authors
S.Linton,D.Shand
Citation
S.linton,d.shand, Some Group Theoretic Examples with Completion theorem Provers, Journal of automated reasoning , 17(2), 1996, pp. 145-169
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
17
Issue
2
Year of publication
1996
Pages
145 - 169
Database
ACNP
SICI code