LOGICAL FORMAL DESCRIPTION OF EXPERT SYSTEMS: PRELIMINARY RESULTS.
- de la Sen, M.
- Minambres, J.J.
Proceedings:
Proceedings - TENCON 87: 1987 IEEE Region 10 Conference, 'Computers and Communications Technology Toward 2000'.
Year of publication: 1987
Pages: 816-820
Type: Conference paper