A decision procedure based on the resolution method - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Bruce Kallick. A decision procedure based on the resolution method. In IFIP Congress (2). pages 269-275, 1968.

@inproceedings{Kallick68,
  title = {A decision procedure based on the resolution method},
  author = {Bruce Kallick},
  year = {1968},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/Kallick68},
  cites = {0},
  citedby = {0},
  pages = {269-275},
  booktitle = {IFIP Congress (2)},
}

runs on WebDSL