Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 1992
DBLP:	db/conf/iwar/iwar1992.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 32  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Seiki Akama, Hiroto Ohnishi. Overview of Non-monotonic Deduction Systems.	Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 1992	(0)	1992
	Conference paper Shuo Bai. Reasoning by Argueing: A Game-Theoretic Approach.	Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 1992	(0)	1992
	Conference paper Subir Bhattacharya, Amitava Bagchi. QuickGame: A Compromise Between Pure Depth-first and Pure Best-first Game Tree Search Strategies.	Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 1992	(0)	1992
	Conference paper Armand de Callataÿ. Logical Reasoning in Symbolic Neural Networks.	Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 1992	(0)	1992
	Conference paper Shang-Ching Chou, Xiao-Shan Gao. Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method.	Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 1992	(0)	1992
	Conference paper Zongming Fei, Jiafu Xu. The Directed Inference and Its Role in NDSAIL System.	Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 1992	(0)	1992
	Conference paper Xiao-Shan Gao. An Introduction to Wu's Method of Mechanical Geometry Theorem Proving.	Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 1992	(0)	1992
	Conference paper Masateru Harao. Analogical Reasoning for L K Theorem Proving.	Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 1992	(0)	1992
	Conference paper Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita. Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers.	Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 1992	(0)	1992
	Conference paper Andreas V. Hense, Gert Smolka. A Verification of Extensible Record Types.	Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 1992	(0)	1992

Your query returned 32 matches in the database.