747 search results - page 150 / 150 » Consequence Relations In DRT |
BMCBI
2010
13 years 1 months ago
2010
Background: The dynamic motions of many proteins are central to their function. It therefore follows that the dynamic requirements of a protein are evolutionary constrained. In or...
TPHOL
1997
IEEE
13 years 10 months ago
1997
IEEE
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...