DOT推論システムを用いた多重世界プログラミング

@inproceedings{id_7216,
  title     = {DOT推論システムを用いた多重世界プログラミング},
  author    = {清 一隆 and 塚本 昌彦 and 西尾 章治郎},
  booktitle = {人工知能学会 全国大会},
  pages     = {303--306},
  month     = {6},
  year      = {1995},
}