Th. Wetter

1 published title

Formal specification of complex reasoning systems : based on material from the International Workshop on Formal Specification Methods for Complex Reasoning Systems, Vienna, 1992, organized during ECAI

(Contributor)

1 edition