BibTeX record conf/kes/NakamatsuAA05

• > Home > conf/kes/NakamatsuAA05

@inproceedings{DBLP:conf/kes/NakamatsuAA05,
  author       = {Kazumi Nakamatsu and
                  Seiki Akama and
                  Jair Minoro Abe},
  editor       = {Rajiv Khosla and
                  Robert J. Howlett and
                  Lakhmi C. Jain},
  title        = {An Intelligent Safety Verification Based on a Paraconsistent Logic
                  Program},
  booktitle    = {Knowledge-Based Intelligent Information and Engineering Systems, 9th
                  International Conference, {KES} 2005, Melbourne, Australia, September
                  14-16, 2005, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {3682},
  pages        = {708--715},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11552451\_97},
  doi          = {10.1007/11552451\_97},
  timestamp    = {Sun, 12 Nov 2023 02:08:36 +0100},
  biburl       = {https://dblp.org/rec/conf/kes/NakamatsuAA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}