Automated Theorem Proving and Logic Programming - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Larry Wos, William McCune. Automated Theorem Proving and Logic Programming. Journal of Logic and Algebraic Programming, 11(1&2):1-53, 1991.

@article{WosM91,
  title = {Automated Theorem Proving and Logic Programming},
  author = {Larry Wos and William McCune},
  year = {1991},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/WosM91},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {11},
  number = {1&amp;2},
  pages = {1-53},
}

runs on WebDSL