Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Steven K. Feiner |
The importance of being mobile: some social consequences of wearable augmented reality systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: 2nd IEEE and ACM International Workshop on Augmented Reality, IWAR '99, San Francisco, CA, USA, October 20-21, 1999, pp. 145-148, 1999, IEEE Computer Society, 0-7695-0359-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Wayne Piekarski, Bernard K. Gunther, Bruce H. Thomas |
Integrating virtual and augmented realities in an outdoor application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: 2nd IEEE and ACM International Workshop on Augmented Reality, IWAR '99, San Francisco, CA, USA, October 20-21, 1999, pp. 45-54, 1999, IEEE Computer Society, 0-7695-0359-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Didier Stricker, Nassir Navab |
Calibration propagation for image augmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: 2nd IEEE and ACM International Workshop on Augmented Reality, IWAR '99, San Francisco, CA, USA, October 20-21, 1999, pp. 95-102, 1999, IEEE Computer Society, 0-7695-0359-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Johan A. Pouwelse, Koen Langendoen, Henk J. Sips |
A feasible low-power augmented-reality terminal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: 2nd IEEE and ACM International Workshop on Augmented Reality, IWAR '99, San Francisco, CA, USA, October 20-21, 1999, pp. 55-63, 1999, IEEE Computer Society, 0-7695-0359-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Auer, Axel Pinz |
Building a hybrid tracking system: integration of optical and magnetic tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: 2nd IEEE and ACM International Workshop on Augmented Reality, IWAR '99, San Francisco, CA, USA, October 20-21, 1999, pp. 13-22, 1999, IEEE Computer Society, 0-7695-0359-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Nassir Navab, Benedicte Bascle, Mirko Appel, Echeyde Cubillo |
Scene augmentation via the fusion of industrial drawings and uncalibrated images with a view to marker-less calibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: 2nd IEEE and ACM International Workshop on Augmented Reality, IWAR '99, San Francisco, CA, USA, October 20-21, 1999, pp. 125-133, 1999, IEEE Computer Society, 0-7695-0359-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Hirokazu Kato 0001, Mark Billinghurst |
Marker tracking and HMD calibration for a video-based augmented reality conferencing system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: 2nd IEEE and ACM International Workshop on Augmented Reality, IWAR '99, San Francisco, CA, USA, October 20-21, 1999, pp. 85-94, 1999, IEEE Computer Society, 0-7695-0359-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Erin McGarrity, Mihran Tuceryan |
A method for calibrating see-through head-mounted displays for AR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: 2nd IEEE and ACM International Workshop on Augmented Reality, IWAR '99, San Francisco, CA, USA, October 20-21, 1999, pp. 75-84, 1999, IEEE Computer Society, 0-7695-0359-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ramesh Raskar, Greg Welch, Wei-Chao Chen |
Table-top spatially-augmented realty: bringing physical models to life with projected imagery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: 2nd IEEE and ACM International Workshop on Augmented Reality, IWAR '99, San Francisco, CA, USA, October 20-21, 1999, pp. 64-71, 1999, IEEE Computer Society, 0-7695-0359-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Nassir Navab, A. Bani-Kashemi, Matthias Mitschke |
Merging visible and invisible: two Camera-Augmented Mobile C-arm (CAMC) applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: 2nd IEEE and ACM International Workshop on Augmented Reality, IWAR '99, San Francisco, CA, USA, October 20-21, 1999, pp. 134-141, 1999, IEEE Computer Society, 0-7695-0359-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Butz, Tobias Höllerer, Steven Feiner, Blair MacIntyre, Clifford Beshers |
Enveloping users and computers in a collaborative 3D augmented reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: 2nd IEEE and ACM International Workshop on Augmented Reality, IWAR '99, San Francisco, CA, USA, October 20-21, 1999, pp. 35-44, 1999, IEEE Computer Society, 0-7695-0359-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Lin Chai, Khoi Nguyen, Bill Hoff, Tyrone Vincent |
An adaptive estimator for registration in augmented reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: 2nd IEEE and ACM International Workshop on Augmented Reality, IWAR '99, San Francisco, CA, USA, October 20-21, 1999, pp. 23-32, 1999, IEEE Computer Society, 0-7695-0359-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jun Park, Bolan Jiang, Ulrich Neumann |
Vision-based pose computation: robust and accurate augmented reality tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: 2nd IEEE and ACM International Workshop on Augmented Reality, IWAR '99, San Francisco, CA, USA, October 20-21, 1999, pp. 3-12, 1999, IEEE Computer Society, 0-7695-0359-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | |
2nd IEEE and ACM International Workshop on Augmented Reality, IWAR '99, San Francisco, CA, USA, October 20-21, 1999 ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![IEEE Computer Society, 0-7695-0359-4 The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Gilles Simon, Marie-Odile Berger |
Registration with a zoom lens camera for augmented reality applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: 2nd IEEE and ACM International Workshop on Augmented Reality, IWAR '99, San Francisco, CA, USA, October 20-21, 1999, pp. 103-112, 1999, IEEE Computer Society, 0-7695-0359-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Yasuhiro Mukaigawa, Sadahiko Mihashi, Takeshi Shakunaga |
Photometric image-based rendering for virtual lighting image synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: 2nd IEEE and ACM International Workshop on Augmented Reality, IWAR '99, San Francisco, CA, USA, October 20-21, 1999, pp. 115-124, 1999, IEEE Computer Society, 0-7695-0359-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Shang-Ching Chou, Xiao-Shan Gao |
Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 1-12, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Jian-Hong Li, Seiichi Nishihara |
A Constraint Satisfaction Algorithm Using Solution Trees and its Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 295-304, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Jianguo Lu, Bo Yi |
An Approach to Analogical Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 285-294, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Huaiming Sun, Qun Liang |
A Theory of Automatic Logic Programming Based on Second Order Term Rewriting Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 165-176, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Lejian Liao, Zhongzhi Shi |
Default Reasoning in Constraint Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 57-64, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Zuoquan Lin |
Experiential Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 65-74, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Xudong Luo |
A Study of Probability-Based Uncertain Reasoning Models in Rule-Based Expert Systems: Prospector-Type Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 123-136, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Subir Bhattacharya, Amitava Bagchi |
QuickGame: A Compromise Between Pure Depth-first and Pure Best-first Game Tree Search Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 211-220, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Zhongshi Shi (eds.) |
Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![North-Holland, 0-444-89876-X The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Min Wang, Zuohan Gao |
Pansystems Analysis Forecasting Theory and Rada Auto-Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 203-210, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Seiki Akama, Hiroto Ohnishi |
Overview of Non-monotonic Deduction Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 47-56, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Lan-di Shan, Tadashi Nagata |
Reasoning about Actions with Bidirectional Approach BI-STRIPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 311-326, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Pei He, Renwei Li, Wenhui Zhang |
Theory and Practice for XYZ/VERI System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 239-248, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Neng-Fa Zhou, Isao Nagasawa |
Implementing Graph Algorithms in BeTa-Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 23-32, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Ji Wang 0001, Huowang Chen |
Temporal Reasoning About Real Time Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 249-256, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Jozef Sajda |
Uncertainty Measures of Separable Fuzzy Temporal Propositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 99-106, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Zongming Fei, Jiafu Xu |
The Directed Inference and Its Role in NDSAIL System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 177-186, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Qing Shen, Quanyuan Wu |
Automated Reasoning on Prime Weighted Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 335-341, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | V. N. Vagin |
Parallel Inference on Logical Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 305-310, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Andreas V. Hense, Gert Smolka |
A Verification of Extensible Record Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 137-164, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Shuji Wang, Jianbo Zou |
Pansystems Inference Model and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 197-202, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Yihua Wu, Jiesheng Wang |
A General Framework of Qualitative Kinematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 257-264, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Wei Li 0022 |
Towards a Theory of Epistemic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 33-46, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Xuemou Wu, Dinghe Guo, Liao Ming, Zan Tingquan, Yongli Li, Zhang Yuxiang |
Pansystems Philosophical Logic: A Servey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 187-196, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Branimir Seselja, Andreja Tepavcevic |
Fuzzy Boolean Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 83-88, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Shuo Bai |
Reasoning by Argueing: A Game-Theoretic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 75-82, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Zili Chen, Qingwen Cheng, Yungcong Xu, Jinwen Zhang |
Syntax Analysis of Fuzzy Logic System FL1 and Its Derivations DFL1, MFL1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 89-98, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Armand de Callataÿ |
Logical Reasoning in Symbolic Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 327-334, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Zhongzhi Shi, Xudong Luo |
NLPM: An Approach for Nonmonotonic Reasoning Based on Linguistic Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 107-122, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Xiao-Shan Gao |
An Introduction to Wu's Method of Mechanical Geometry Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 13-22, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Baodong Li, Zhongzhi Shi |
Case Retrieval Based on Memory Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 275-284, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Masateru Harao |
Analogical Reasoning for L K Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 265-274, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita 0002 |
Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 221-238, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|