Comments on 'An automated logic for elementary changes' by Luis Fariñas
| Authors | |
|---|---|
| Publication date | 1988 |
| Host editors |
|
| Book title | Non-standard logics for automated reasoning |
| ISBN |
|
| Pages (from-to) | 78-80 |
| Publisher | London: Academic Press |
| Organisations |
|
| Document type | Conference contribution |
| Permalink to this page | |
