Some Experiments in Nonassociative Ring Theory with an Automated Theorem Prover - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Rick L. Stevens. Some Experiments in Nonassociative Ring Theory with an Automated Theorem Prover. Journal of Automated Reasoning, 3(2):211-221, 1987.

@article{Stevens87:0,
  title = {Some Experiments in Nonassociative Ring Theory with an Automated Theorem Prover},
  author = {Rick L. Stevens},
  year = {1987},
  researchr = {https://researchr.org/publication/Stevens87%3A0},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automated Reasoning},
  volume = {3},
  number = {2},
  pages = {211-221},
}

runs on WebDSL