- NUR Home
- →
- 01.NU Schools
- →
- School of Science and Technology (2015-2019)
- →
- Computer Science
- →
- Articles
- →
- Filter by: Subject
JavaScript is disabled for your browser. Some features of this site may not work without it.
Filter by: Subject
Now showing items 1-7 of 1
| Chat bot (1) |
| Coq proof assistant (1) |
| interactive theorem prover (1) |
| proof assistant (1) |
| TECHNOLOGY (1) |
| theorem proving (1) |
| user interface (1) |
Now showing items 1-7 of 1
Submission guide