Dynamic reasoning without variables
| Authors | |
|---|---|
| Publication date | 1998 |
| Series | INS-R9801 |
| Publisher | Amsterdam: WINS (oud WINS) |
| Organisations |
|
| Document type | Report |
| Note | CWI Amsterdam |
| Permalink to this page | |