Experiments with automated reasoning in the class (Q6102980)
From MaRDI portal
scientific article; zbMATH DE number 7691306
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Experiments with automated reasoning in the class |
scientific article; zbMATH DE number 7691306 |
Statements
Experiments with automated reasoning in the class (English)
0 references
2 June 2023
0 references
automated reasoning
0 references
computational logic
0 references
computer aided teaching
0 references
0 references
0 references
0 references
0 references
