| Original language | English |
|---|---|
| Title of host publication | Formal Specification of Complex Reasoning Systems |
| Editors | J. Treur, T. Wetter |
| Publisher | Ellis Horwood |
| Pages | 1-6 |
| Publication status | Published - 1993 |
On the Role of Formal Specification in AI
J. Treur, T.C. Wetter
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review