Anytime Reasoning in First-Order Logic - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Keith Vanderveen, C. V. Ramamoorthy. Anytime Reasoning in First-Order Logic. In ICTAI. pages 142-148, 1997. [doi]

@inproceedings{VanderveenR97:0,
  title = {Anytime Reasoning in First-Order Logic},
  author = {Keith Vanderveen and C. V. Ramamoorthy},
  year = {1997},
  url = {http://computer.org/proceedings/ictai/8203/82030142abs.htm},
  tags = {C++, logic},
  researchr = {https://researchr.org/publication/VanderveenR97%3A0},
  cites = {0},
  citedby = {0},
  pages = {142-148},
  booktitle = {ICTAI},
}

runs on WebDSL