Theorem proving with equations (Handout for the lecture series "theoremproving" by Cees Doets)
| Authors | |
|---|---|
| Publication date | 1997 |
| Publisher | Amsterdam: vakgroep methoden en technieken |
| Organisations |
|
| Document type | Report |
| Permalink to this page | |