Handbook of automated reasoning
No description available.
Qualitative reasoningAutomatic theorem provingArtificial intelligenceKnowledge representation (information theory)Deductive databasesLogic programmingFunctional programming (computer science)Handbooks, manuals