BibTeX record conf/cap/KatoSI97

• > Home > conf/cap/KatoSI97

@inproceedings{DBLP:conf/cap/KatoSI97,
  author       = {Shohei Kato and
                  Hirohisa Seki and
                  Hidenori Itoh},
  editor       = {Hoon Hong and
                  Erich L. Kaltofen and
                  Markus A. Hitz},
  title        = {A parallel implementation of cost-based abductive reasoning},
  booktitle    = {Proceedings of the 2nd International Workshop on Parallel Symbolic
                  Computation, {PASCO} 1997, July 20-22, 1997, Kihei, Hawaii, {USA}},
  pages        = {111--118},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/266670.266699},
  doi          = {10.1145/266670.266699},
  timestamp    = {Mon, 03 Apr 2023 17:23:32 +0200},
  biburl       = {https://dblp.org/rec/conf/cap/KatoSI97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}