Browsing Computer Science by Subject

Now showing items 13-31 of 31

Subject
Genetic Algorithms [1]
Human behavior [1]
Human memory models [1]
Human reasoning [1]
images [1]
interactive theorem prover [1]
Problem solving [1]
proof assistant [1]
quantum circuits [1]
Quantum Circuit Synthesis [1]
Quantum computation [1]
Quantum Evolutionary Algorithm [1]
Real-Time Maude [2]
Research Subject Categories::TECHNOLOGY [1]
Rewriting logic [2]
theorem proving [1]
Type of access: Open Access [5]
user interface [1]
World Wide Web [1]