Predicate Logic: A Calculus for the Formal Derivation of Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Keith L. Clark, Sharon Sickel. Predicate Logic: A Calculus for the Formal Derivation of Programs. In IJCAI. pages 419-420, 1977.

@inproceedings{ClarkS77,
  title = {Predicate Logic: A Calculus for the Formal Derivation of Programs},
  author = {Keith L. Clark and Sharon Sickel},
  year = {1977},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/ClarkS77},
  cites = {0},
  citedby = {0},
  pages = {419-420},
  booktitle = {IJCAI},
}

runs on WebDSL