@InProceedings{129,
  title = {数式処理言語によるディジタル回路の記号解析},
  author = {菅原 一孔 and 尾崎 知幸 and 小西 亮介},
  yomi = {Kazunori Sugahara and Tomoyuki Osaki and Ryousuke Konisi},
  booktitle = {鳥取大学工学部研究報告},
  volume = {25},
  number = {1},
  pages = {117--122},
  year = {1994},
  month = {11}
}