Theorem proving and porgramming with dynamic first order logic - full version
| Authors |
|
|---|---|
| Publication date | 2000 |
| Series | technical Report, INS-R0020 |
| Publisher | Amsterdam: Institute for Logic Language and Computation |
| Organisations |
|
| Document type | Report |
| Permalink to this page | |