A Case Study in Knowledge Representation and Reasoning with Higher-Order Combinators

Jørgen Fischer Nilsson. A Case Study in Knowledge Representation and Reasoning with Higher-Order Combinators. In SCAI. pages 37-48, 1989.

@inproceedings{Nilsson89:2,
  title = {A Case Study in Knowledge Representation and Reasoning with Higher-Order Combinators},
  author = {Jørgen Fischer Nilsson},
  year = {1989},
  tags = {case study},
  researchr = {https://researchr.org/publication/Nilsson89%3A2},
  cites = {0},
  citedby = {0},
  pages = {37-48},
  booktitle = {SCAI},
}