Conditional and preferential logics
Pozzato, Gian Luca.
Conditional and preferential logics proof methods and theorem proving / [electronic resource] : Gian Luca Pozzato. - Amsterdam : IOS Press, c2010. - viii, 200 p. : ill.
Includes bibliographical references.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2010.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Proof theory.
Automatic theorem proving.
Electronic books.
QA76.9.A96 / P69 2010eb
Conditional and preferential logics proof methods and theorem proving / [electronic resource] : Gian Luca Pozzato. - Amsterdam : IOS Press, c2010. - viii, 200 p. : ill.
Includes bibliographical references.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2010.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Proof theory.
Automatic theorem proving.
Electronic books.
QA76.9.A96 / P69 2010eb