Peter F. Patel-Schneider (1985): A Decideable First-Order Logic for Knowledge Representation
Title:
A Decideable First-Order Logic for Knowledge Representation
Author(s):
Peter F. Patel-Schneider
Year:
1985
Number:
45
Concepts
