Automated deduction in classical and non-classical logics : selected papers /

Saved in:

Bibliographic Details
Imprint:	Berlin ; New York : Springer, 2000.
Description:	1 online resource (viii, 297 pages) : illustrations.
Language:	English
Series:	Lecture notes in computer science ; 1761. Lecture notes in artificial intelligence Lecture notes in computer science ; 1761. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subject:	Automatic theorem proving. Logic, Symbolic and mathematical. Automatic theorem proving. Logic, Symbolic and mathematical.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11067975

Hidden Bibliographic Details
Other authors / contributors:	Caferra, Ricardo, 1945- Salzer, Gernot, 1963-
ISBN:	9783540465089 3540465081 3540671900 9783540671909
Notes:	Includes bibliographical references and index.
Summary:	This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with an emphasis on first-order theories. Five invited papers by prominent researchers give a consolidated view of the recent developments in first-order theorem proving. The 14 research papers presented went through a twofold selection process and were first presented at the International Workshop on First-Order Theorem Proving, FTP'98, held in Vienna, Austria, in November 1998. The contributed papers reflect the current status in research in the area; most of the results presented rely on resolution or tableaux methods, with a few exceptions choosing the equational paradigm.
Other form:	Print version: Automated deduction in classical and non-classical logics. Berlin ; New York : Springer, 2000 3540671900

Similar Items