Welcome to the Kids' Library!
Search for books, movies, music, magazines, and more.
Title |
Conditional and preferential logics [electronic resource] : proof methods and theorem proving / Gian Luca Pozzato. |
|
Imprint |
Amsterdam : IOS Press, c2010. |
|
Axe ProQuest E-Book
|
Electronic Book |
--- |
Available |
Description |
viii, 200 p. : ill. |
Bibliography |
Includes bibliographical references. |
Reproduction |
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. |
Subject |
Proof theory.
|
|
Automatic theorem proving.
|
Genre/Form |
Electronic books.
|
Added Author |
ProQuest (Firm)
|
ISBN |
9781607500940 |
|
9781607500957 |
|