Ebook: Conditional and preferential logics: proof methods and theorem proving
Author: Pozzato Gian Luca
- Genre: Mathematics // Logic
- Tags: Automatic theorem proving., Proof theory., Automatic theorem proving, Proof theory
- Series: Frontiers in artificial intelligence and applications 0922-6389, 208 Dissertations in artificial intelligence
- Year: 2010
- Publisher: IOS Press
- City: Amsterdam
- Language: English
- pdf
Download the book Conditional and preferential logics: proof methods and theorem proving for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)