|
||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
JavaSnepsAPI | Class of connections between Java and the SNePS knowledge representation and reasoning system. |
Substitution | Represents a substitution (a set of pairs, each of which is a variable and a term). |
|
||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |