DBLP Record 'conf/ifip/LauriereV86'

BibTeX

@inproceedings{DBLP:conf/ifip/LauriereV86,
  author    = {Jean-Louis Lauri{\`e}re and
               M. Vialatte},
  title     = {SNARK: A Language to Represent Declarative Knowledge and
               an Inference Engine which Uses Heuristics},
  booktitle = {IFIP Congress},
  year      = {1986},
  pages     = {811-816},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}