Automated Reasoning: Real Uses and Potential Uses - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Larry Wos. Automated Reasoning: Real Uses and Potential Uses. In IJCAI. pages 867-876, 1983.

@inproceedings{Wos83,
  title = {Automated Reasoning: Real Uses and Potential Uses},
  author = {Larry Wos},
  year = {1983},
  researchr = {https://researchr.org/publication/Wos83},
  cites = {0},
  citedby = {0},
  pages = {867-876},
  booktitle = {IJCAI},
}

runs on WebDSL