Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/iwar/iwar1992.bht:"
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, 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}
}
a service of 
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.
retrieved on 2024-04-25 05:38 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
