BibTeX record conf/fcst/ZhangD15

• > Home > conf/fcst/ZhangD15

@inproceedings{DBLP:conf/fcst/ZhangD15,
  author       = {Song Zhang and
                  Ansheng Deng},
  editor       = {Xiaohua Jia and
                  Tharam S. Dillon and
                  Kuan{-}Ching Li and
                  Yong Zhang and
                  Nei Kato and
                  Kui Wu and
                  Yunquan Zhang},
  title        = {Non-revision Reasoning without Redundancy in Predicate Logic},
  booktitle    = {Ninth International Conference on Frontier of Computer Science and
                  Technology, {FCST} 2015, Dalian, China, August 26-28, 2015},
  pages        = {27--33},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/FCST.2015.25},
  doi          = {10.1109/FCST.2015.25},
  timestamp    = {Fri, 24 Mar 2023 00:04:48 +0100},
  biburl       = {https://dblp.org/rec/conf/fcst/ZhangD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}