Search dblp for Publications

export results for "stream:streams/conf/iwar:"

 download as .bib file

@inproceedings{DBLP:conf/iwar/AkamaO92,
  author    = {Seiki Akama and
               Hiroto Ohnishi},
  editor    = {Zhongshi Shi},
  title     = {Overview of Non-monotonic Deduction Systems},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {47--56},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 12:04:48 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/AkamaO92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/Bai92,
  author    = {Shuo Bai},
  editor    = {Zhongshi Shi},
  title     = {Reasoning by Argueing: {A} Game-Theoretic Approach},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {75--82},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/Bai92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/BhattacharyaB92,
  author    = {Subir Bhattacharya and
               Amitava Bagchi},
  editor    = {Zhongshi Shi},
  title     = {QuickGame: {A} Compromise Between Pure Depth-first and Pure Best-first
               Game Tree Search Strategies},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {211--220},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/BhattacharyaB92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/Callatay92,
  author    = {Armand de Callata{\"{y}}},
  editor    = {Zhongshi Shi},
  title     = {Logical Reasoning in Symbolic Neural Networks},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {327--334},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jun 2004 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/iwar/Callatay92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/ChouG92,
  author    = {Shang{-}Ching Chou and
               Xiao{-}Shan Gao},
  editor    = {Zhongshi Shi},
  title     = {Automated Reasoning in Differential Geometry and Mechanics Using Characteristic
               Method},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {1--12},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/ChouG92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/FeiX92,
  author    = {Zongming Fei and
               Jiafu Xu},
  editor    = {Zhongshi Shi},
  title     = {The Directed Inference and Its Role in {NDSAIL} System},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {177--186},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/FeiX92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/Gao92,
  author    = {Xiao{-}Shan Gao},
  editor    = {Zhongshi Shi},
  title     = {An Introduction to Wu's Method of Mechanical Geometry Theorem Proving},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {13--22},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/Gao92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/Harao92,
  author    = {Masateru Harao},
  editor    = {Zhongshi Shi},
  title     = {Analogical Reasoning for {L} {K} Theorem Proving},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {265--274},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/Harao92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/HasegawaKF92,
  author    = {Ryuzo Hasegawa and
               Miyuki Koshimura and
               Hiroshi Fujita},
  editor    = {Zhongshi Shi},
  title     = {Lazy Model Generation For Improving The Efficiency of Forward Reasoning
               Theorem Provers},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {221--238},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/HasegawaKF92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/HenseS92,
  author    = {Andreas V. Hense and
               Gert Smolka},
  editor    = {Zhongshi Shi},
  title     = {A Verification of Extensible Record Types},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {137--164},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/HenseS92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/Li92,
  author    = {Wei Li},
  editor    = {Zhongshi Shi},
  title     = {Towards a Theory of Epistemic Processes},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {33--46},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Mon, 28 Feb 2011 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/Li92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/LiNi92,
  author    = {Jian{-}Hong Li and
               Seiichi Nishihara},
  editor    = {Zhongshi Shi},
  title     = {A Constraint Satisfaction Algorithm Using Solution Trees and its Complexity},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {295--304},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 14 Nov 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/LiNi92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/LiS92,
  author    = {Baodong Li and
               Zhongzhi Shi},
  editor    = {Zhongshi Shi},
  title     = {Case Retrieval Based on Memory Network},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {275--284},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/LiS92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/LiaoS92,
  author    = {Lejian Liao and
               Zhongzhi Shi},
  editor    = {Zhongshi Shi},
  title     = {Default Reasoning in Constraint Network},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {57--64},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/LiaoS92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/Lin92,
  author    = {Zuoquan Lin},
  editor    = {Zhongshi Shi},
  title     = {Experiential Logic},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {65--74},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/Lin92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/LuY92,
  author    = {Jianguo Lu and
               Bo Yi},
  editor    = {Zhongshi Shi},
  title     = {An Approach to Analogical Theorem Proving},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {285--294},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/LuY92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/Luo92,
  author    = {Xudong Luo},
  editor    = {Zhongshi Shi},
  title     = {A Study of Probability-Based Uncertain Reasoning Models in Rule-Based
               Expert Systems: Prospector-Type Schemes},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {123--136},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/Luo92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/PeiLZ92,
  author    = {Pei He and
               Renwei Li and
               Wenhui Zhang},
  editor    = {Zhongshi Shi},
  title     = {Theory and Practice for {XYZ/VERI} System},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {239--248},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Wed, 18 May 2011 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/iwar/PeiLZ92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/Sajda92,
  author    = {Jozef Sajda},
  editor    = {Zhongshi Shi},
  title     = {Uncertainty Measures of Separable Fuzzy Temporal Propositions},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {99--106},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/Sajda92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/SeseljaT92,
  author    = {Branimir Seselja and
               Andreja Tepavcevic},
  editor    = {Zhongshi Shi},
  title     = {Fuzzy Boolean Algebras},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {83--88},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/SeseljaT92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/ShanN92,
  author    = {Lan{-}di Shan and
               Tadashi Nagata},
  editor    = {Zhongshi Shi},
  title     = {Reasoning about Actions with Bidirectional Approach {BI-STRIPS}},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {311--326},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/ShanN92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/ShenW92,
  author    = {Qing Shen and
               Quanyuan Wu},
  editor    = {Zhongshi Shi},
  title     = {Automated Reasoning on Prime Weighted Neural Network},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {335--341},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Wed, 21 Apr 2004 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/iwar/ShenW92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/ShiL92,
  author    = {Zhongzhi Shi and
               Xudong Luo},
  editor    = {Zhongshi Shi},
  title     = {{NLPM:} An Approach for Nonmonotonic Reasoning Based on Linguistic
               Probability},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {107--122},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/ShiL92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/SunL92,
  author    = {Huaiming Sun and
               Qun Liang},
  editor    = {Zhongshi Shi},
  title     = {A Theory of Automatic Logic Programming Based on Second Order Term
               Rewriting Technique},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {165--176},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/SunL92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/Vagin92,
  author    = {V. N. Vagin},
  editor    = {Zhongshi Shi},
  title     = {Parallel Inference on Logical Networks},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {305--310},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/Vagin92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/WangC92,
  author    = {Ji Wang and
               Huowang Chen},
  editor    = {Zhongshi Shi},
  title     = {Temporal Reasoning About Real Time Reactive Systems},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {249--256},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/WangC92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/WangG92,
  author    = {Min Wang and
               Zuohan Gao},
  editor    = {Zhongshi Shi},
  title     = {Pansystems Analysis Forecasting Theory and Rada Auto-Prediction},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {203--210},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/WangG92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/WangZ92,
  author    = {Shuji Wang and
               Jianbo Zou},
  editor    = {Zhongshi Shi},
  title     = {Pansystems Inference Model and Its Applications},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {197--202},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/WangZ92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/WuW92,
  author    = {Yihua Wu and
               Jiesheng Wang},
  editor    = {Zhongshi Shi},
  title     = {A General Framework of Qualitative Kinematics},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {257--264},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/WuW92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/XuemouDMTLY92,
  author    = {Xuemou Wu and
               Dinghe Guo and
               Liao Ming and
               Zan Tingquan and
               Yongli Li and
               Zhang Yuxiang},
  editor    = {Zhongshi Shi},
  title     = {Pansystems Philosophical Logic: {A} Servey},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {187--196},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/XuemouDMTLY92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/ZhouN92,
  author    = {Neng{-}Fa Zhou and
               Isao Nagasawa},
  editor    = {Zhongshi Shi},
  title     = {Implementing Graph Algorithms in BeTa-Prolog},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {23--32},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/ZhouN92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/ZiliQYJ92,
  author    = {Zili Chen and
               Qingwen Cheng and
               Yungcong Xu and
               Jinwen Zhang},
  editor    = {Zhongshi Shi},
  title     = {Syntax Analysis of Fuzzy Logic System \emph{FL}\({}_{\mbox{1}}\) and
               Its Derivations \emph{DFL}\({}_{\mbox{1}}\), \emph{MFL}\({}_{\mbox{1}}\)},
  booktitle = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  pages     = {89--98},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Wed, 30 Jul 2014 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/iwar/ZiliQYJ92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwar/1992,
  editor    = {Zhongshi Shi},
  title     = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
               Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
               1992},
  series    = {{IFIP} Transactions},
  volume    = {{A-19}},
  publisher = {North-Holland},
  year      = {1992},
  isbn      = {0-444-89876-X},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iwar/1992.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics