INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9781607500, 1607500949
English Book
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Conditional and preferential logics
Other Title Information
proof methods and theorem proving
First Statement of Responsibility
Gian Luca Pozzato
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam ; Washington, DC
Name of Publisher, Distributor, etc.
IOS Press,
Date of Publication, Distribution, etc.
2010
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
viii, 200 p. :ill.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (p. 193-200).
TOPICAL NAME USED AS SUBJECT
Entry Element
Logic, Symbolic and mathematical
Entry Element
Proof theory
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
,
9
,.
P65
,
2010
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Pozzato, Gian Luca.
PERSONAL NAME - SECONDARY RESPONSIBILITY
Entry Element
Title
Dates
Series: Frontiers in artificial intelligence and applications ;v. 208.
Dates
Series: Frontiers in artificial intelligence and applications.Dissertations in artificial intelligence.
