A Decidable First-Order Logic for Knowldge Representation
From Tetherless World Wiki
Peter F. Patel-Schneider - A Decidable First-Order Logic for Knowldge Representation. In J. Autom. Reasoning 6(4):361-388, 1990. (Bibtex)Author : Peter F. Patel-Schneider
Title : A Decidable First-Order Logic for Knowldge Representation
In : J. Autom. Reasoning -
Address :
Date : 1990
Title : A Decidable First-Order Logic for Knowldge Representation
In : J. Autom. Reasoning -
Address :
Date : 1990
| Comments Add New Comment (refresh after adding) | |
|---|---|
Facts about A Decidable First-Order Logic for Knowldge RepresentationRDF feed
| Has author | Peter F. Patel-Schneider + |
| Has identifier | DBLP:journals/jar/Patel-Schneider90 + |
| Has publishing details | 6(4):361-388, 1990 + |
| Has title | A Decidable First-Order Logic for Knowldge Representation + |
| Has where published | J. Autom. Reasoning + |
| Has year | 1990 + |
