Filter by: Subject
Now showing items 1-9
automated reasoning (2) |
natural language (1) |
obviousness (1) |
polynomial time (1) |
relational data basers (1) |
smathematical induction (1) |
sSocratic proof systems (1) |
theorem proving (2) |
tractable inference (2) |