Goal-Driven Reasoning in First-Order Logic
Journal article, 2006
Author
Claes Strannegård
Chalmers, Applied Information Technology (Chalmers)
Philosophical Communications, Department of Philosophy, Gothenburg University
35
Subject Categories
Computer and Information Science