A program for the production from axioms, of proofs for theorems derivable within the first order predicate calculus - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Paul C. Gilmore. A program for the production from axioms, of proofs for theorems derivable within the first order predicate calculus. In IFIP Congress. pages 265-272, 1959.

@inproceedings{Gilmore59,
  title = {A program for the production from axioms, of proofs for theorems derivable within the first order predicate calculus},
  author = {Paul C. Gilmore},
  year = {1959},
  tags = {C++},
  researchr = {https://researchr.org/publication/Gilmore59},
  cites = {0},
  citedby = {0},
  pages = {265-272},
  booktitle = {IFIP Congress},
}

runs on WebDSL