Now showing items 1-10 of 1
006.3 (1) |
Artificial intelligence (1) |
Automatic theorem proving (1) |
Classical propositional logic (1) |
Global logical entailment (1) |
Local logical entailment (1) |
Logic, Symbolic and mathematical (1) |
Modality (Logic) (1) |
Proof theory (1) |
Proposition logic (1) |
Now showing items 1-10 of 1