BibTeX record conf/iske/ZhongCW0L17

• > Home > conf/iske/ZhongCW0L17

@inproceedings{DBLP:conf/iske/ZhongCW0L17,
  author       = {Jian Zhong and
                  Feng Cao and
                  Guanfeng Wu and
                  Yang Xu and
                  Jun Liu},
  editor       = {Tianrui Li and
                  Luis Mart{\'{\i}}nez{-}L{\'{o}}pez and
                  Yun Li},
  title        = {Multi-clause synergized contradiction separation based first-order
                  theorem prover - {MC-SCS}},
  booktitle    = {12th International Conference on Intelligent Systems and Knowledge
                  Engineering, {ISKE} 2017, Nanjing, China, November 24-26, 2017},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISKE.2017.8258793},
  doi          = {10.1109/ISKE.2017.8258793},
  timestamp    = {Fri, 16 Sep 2022 08:16:50 +0200},
  biburl       = {https://dblp.org/rec/conf/iske/ZhongCW0L17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}