Proof Theoretical Foundations for Constructive Description Logic
Download or Read eBook Proof Theoretical Foundations for Constructive Description Logic PDF written by Ian P. Clément and published by . This book was released on 2008 with total page 95 pages. Available in PDF, EPUB and Kindle.
Author | : Ian P. Clément |
Publisher | : |
Total Pages | : 95 |
Release | : 2008 |
ISBN-10 | : OCLC:430141781 |
ISBN-13 | : |
Rating | : 4/5 (81 Downloads) |
Book Synopsis Proof Theoretical Foundations for Constructive Description Logic by : Ian P. Clément
Book excerpt: