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

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