Now showing items 9-28 of 31
Subject |
---|
electrical energy [1] |
Energy management [1] |
environment estimation [1] |
Formal methods [3] |
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] |
Now showing items 9-28 of 31