Now showing items 12-19 of 19
Subject |
---|
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 12-19 of 19