Fast delivery with
Safe payments by
© 2026 Bookis AS
English
Norway
Region is based on IP address
Fast delivery with
Safe payments by
© 2026 Bookis AS
English
Norway
Region is based on IP address
Paperback • 2010 • English
0 Ratings • 0.0 of 5
About the book
Contains a version of the author's PhD dissertation and focuses on proof methods and theorem proving for conditional and preferential logics. This book introduces proof methods (sequent and tableau calculi) for conditional and preferential logics, as well as theorem provers obtained by implementing the proposed calculi.
Book details
ISBN
9781607500940
Publisher
Amsterdam : IOS Press
Published year
2010
Language
English
Original title
Conditional and Preferential Logics : Proof Methods and Theorem Proving
Format
Paperback
Shippping and returns
Shipping
Used books are shipped by the seller. Expected delivery after package is sent is 2-4 days.
Returns
Contact the seller after delivery.
Reviews · 0
0 Ratings • 0.0 of 5
You might also like