Now showing items 1-19 of 19
Subject |
---|
Biofilms [1] |
brain-computer interface [1] |
Chat bot [1] |
Cognitive science [2] |
computer [1] |
Coq proof assistant [1] |
Formal methods [3] |
Human behavior [1] |
Human memory models [1] |
Human reasoning [1] |
interactive theorem prover [1] |
Problem solving [1] |
proof assistant [1] |
Real-Time Maude [2] |
Research Subject Categories::TECHNOLOGY [1] |
Rewriting logic [2] |
theorem proving [1] |
Type of access: Open Access [4] |
user interface [1] |
Now showing items 1-19 of 19