Authors. Vaishak Belle, Brendan Juba. Abstract. We consider the problem of answering queries about formulas of first-order logic based on background ...
確定! 回上一頁