عنوان
پدید آورنده
موضوع
رده
QA76.9.A96 E358 2011
QA76
.
9
.
A96
E358
2011
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9048151848
(Number (ISBN
9789048151844
NATIONAL BIBLIOGRAPHY NUMBER
Number
b553610
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Handbook of tableau methods
General Material Designation
[Book]
First Statement of Responsibility
edited by Marcello D'Agostino [and others].
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Dordrecht ; London
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
2011
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 volume : illustrations ; 24 cm
GENERAL NOTES
Text of Note
Originally published: 1999.
CONTENTS NOTE
Text of Note
Preface. Introduction; M. Fitting. Tableau Methods for Classical Propositional Logic; M. D'Agostino. First-Order Tableau Methods; R. Letz. Equality and Other Theories; B. Beckert. Tableaux for Intuitionistic Logics; A. Waaler, L. Wallen. Tableau Methods for Modal and Temporal Logics; R. Gore. Tableau Methods for Substructural Logics; M. D'Agostino, et al. Tableaux for Nonmonotonic Logics; N. Olivetti. Tableaux for Many-valued Logics; R. Hahnle. Implementing Semantic Tableaux; J. Posegga, P. Schmitt. A Bibliography on Analytic Tableaux Theorem Proving; G. Wrightson. Index.
TOPICAL NAME USED AS SUBJECT
Automatic theorem proving.
Logic, Symbolic and mathematical.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
A96
Book number
E358
2011
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by Marcello D'Agostino [and others].
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Marcello D'Agostino
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
