Formal theory building using automated reasoning tools
| Authors | |
|---|---|
| Publication date | 1997 |
| Host editors |
|
| Book title | Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference |
| Organisations |
|
| Document type | Chapter |
| Permalink to this page | |
