Knowledge Representation, Computation, and Learning in Higher-order Logic (2001)

by J.W. Lloyd
Venue:In preparation
Citations:10 - 7 self