default search action
Search dblp for Publications
export results for "stream:streams/conf/iwar:"
@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, 18 Nov 2021 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 = {Fri, 04 Aug 2023 01:00:00 +0200}, 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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.