First Page | Document Content | |
---|---|---|
![]() Date: 2011-09-16 07:48:16Reasoning Deductive reasoning Programming paradigms Artificial intelligence Automated theorem proving Reasoning system Mathematical logic Knowledge representation and reasoning Computer science Logic programming Inference Natural deduction | Add to Reading List |