Conditional and preferential logics [electronic resource] : proof methods and theorem proving / Gian Luca Pozzato.
2010
QA76.9.A96 P69 2010eb
Linked e-resources
Linked Resource
Details
Title
Conditional and preferential logics [electronic resource] : proof methods and theorem proving / Gian Luca Pozzato.
Author
ISBN
9781607500940
9781607500957
9781607500957
Publication Details
Amsterdam : IOS Press, c2010.
Language
English
Description
viii, 200 p. : ill.
Call Number
QA76.9.A96 P69 2010eb
Bibliography, etc. Note
Includes bibliographical references.
Access Note
Access limited to authorized users.
Linked Resources
Record Appears in