This book provides an approach to knowledge representation, computation, and learning using higher-order logic. It is aimed at researchers, graduate students, and senior undergraduates working in computational logic and/or machine learning.
ThriftBooks sells millions of used books at the lowest
everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We
deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15.
ThriftBooks.com. Read more. Spend less.