Automated reasoning proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992

Automated reasoning proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992

Saved in:

Bibliographic Details
Other Authors:	Shi, Zhongzhi
Format:	Book
Published:	Amsterdam North-Holland 1992
Series:	IFIP transactions. A-19
Subjects:	Automatic theorem proving > Congresses Artificial intelligence > Congresses
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automated reasoning 33 basic research problems
by: Wos, Larry
Published: (1988)

The automation of reasoning an experimenter's notebook with OTTER tutorial
by: Wos, Larry
Published: (1996)

Automated reasoning introduction and applications
Published: (1992)

Handbook of automated reasoning
Published: (2001)

Principles of automated theorem proving
by: Duffy, David A
Published: (1991)

Automated theorem proving theory and practice
by: Newborn, Monroe
Published: (2001)

The resolution calculus
by: Leitsch, Alexander
Published: (1997)

A proof theory for general unification
by: Snyder, Wayne 1955 - .
Published: (1991)

Automated theorem proving in software engineering
by: Schumann, Johann M 1960-
Published: (2001)

The Computer modelling of mathematical reasoning
by: Bundy, Allan
Published: (1983)

Higher order logic theorem proving and its applications proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
Published: (1993)

First-order logic and automated theorem proving
by: Fitting, Melvin 1942-
Published: (1996)

Diagrammatic representation and reasoning
Published: (2002)

Automated deduction in geometry revised papers, September 25 - 27, 2000
Published: (2001)

Proof in VDM a practitioner's guide
Published: (1994)

Computational logic logic programming and beyond
Published: (2002)

Computational logic essays in honor of Alan Robinson
Published: (1991)

Artificial intelligence towards practical application, proceedings of the ... 12-13 April 1984
Published: (1985)

Artificial intelligence in theory and practice IIIbthird IFIP TC 12 International Conference on Artificial Intelligence, IFIP AI 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
Published: (2010)

Non-monotonic reasoning and partial semantics
Published: (1992)

AAAI-87 sixth national conference on artificial intelligence proceedings of the ... held July 13-17, 1987
Published: (1987)

Decentralized A.I. 2 proceedings of the Second European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Saint Quentin en Yvelines, France, August 13-16, 1990
Published: (1991)

Distributed constraint problem solving and reasoning in multi-agent systems
Published: (2004)

Decentralized A.I. 3 proceedings of the Third European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Kaiserslautern, Germany, August 5-7, 1991
Published: (1992)

Progress in artificial intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005 : proceedings
Published: (2005)

The eighth national conference on artificial intelligence proceedings of the ... held July 29 , 1990 - August 3, 1990
Published: (1990)

ECAI 2002 15th European Conference on Artificial Intelligence, July 21-26, 2002, Lyon France : including Prestigious Applications of Intelligent Systems (PAIS 2002) : proceedings
Published: (2002)

Artificial intelligence II methodology, systems, applications : proceedings of the Second International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA '86) Varna, Bulgaria, 16-19 September 1986
Published: (1987)

Robotics and automation proceedings of the 1989 IEEE International Conference, Scottdales, Arizona, May 14-19, 1989, sponsored by IEEE Council on Robotics and Automation
Published: (1989)

Innovations in agent-based complex automated negotiations
Published: (2010)

ECAI 2000 14th European conference on artificial intelligence proceedings of the ... held 20-25 August, 2000
Published: (2000)

AAAI-82 proceedings of the National Conference on Artificial Intelligence, August 18-20, 1982 Carnegie - Mellon University - University of Pittsburgh
Published: (1982)

AAAI-92 proceedings
Published: (1992)

2nd National Conference on Machine Intelligence and Research Advancement 19-20 March 2015
Published: (2015)

Artificial intelligence Proceedings of the ...
Published: (1989)

Proceedings AAAI-86 Fifth National Conference on Artificial Intelligence, August 11-15, 1986
Published: (1986)

Artificial intelligence methodology, systems and applications proceedings of the...held September 20 - 23
Published: (2000)

Proceedings AAAI-88 The Seventh National Conference on Artificial Intelligence, August 21-26, 1988
Published: (1988)

Artificial intelligence V methodology, systems, applications proceedings of the Fifth Internatioanl Conference on Artificial Intelligence methodology, systems, Applications
Published: (1992)

Proceedings Eighteenth National Conference on Artificial Intelligence (AAAI-2002) ; Fourteenth Innovative Applications of Artificial Intelligence Conference (IAAI-2002)
Published: (2002)