Inducing Theorem Provers from Proofs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Raul H. C. Lopes, Mark Tarver. Inducing Theorem Provers from Proofs. In ICTAI. pages 157-164, 1997. [doi]

@inproceedings{LopesT97,
  title = {Inducing Theorem Provers from Proofs},
  author = {Raul H. C. Lopes and Mark Tarver},
  year = {1997},
  url = {http://computer.org/proceedings/ictai/8203/82030157abs.htm},
  tags = {C++},
  researchr = {https://researchr.org/publication/LopesT97},
  cites = {0},
  citedby = {0},
  pages = {157-164},
  booktitle = {ICTAI},
}

runs on WebDSL