Computational support for logical formalization
| Authors | |
|---|---|
| Publication date | 1997 |
| Host editors |
|
| Book title | Proceedings of the 7th Annual Workshop on Computational and Mathematical Organization Theory |
| Pages (from-to) | 14-15 |
| Organisations |
|
| Document type | Chapter |
| Permalink to this page | |
