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 (SSIF 2011)
Computer and Information Science