A non-heuristic program for proving elementary logical theorems - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

B. Dunham, R. Fridshal, G. L. Sward. A non-heuristic program for proving elementary logical theorems. In IFIP Congress. pages 282-284, 1959.

@inproceedings{DunhamFS59,
  title = {A non-heuristic program for proving elementary logical theorems},
  author = {B. Dunham and R. Fridshal and G. L. Sward},
  year = {1959},
  researchr = {https://researchr.org/publication/DunhamFS59},
  cites = {0},
  citedby = {0},
  pages = {282-284},
  booktitle = {IFIP Congress},
}

runs on WebDSL