Formal specification of complex reasoning systems
[edited by] Jan Treur and Thomas Wetter
Bok Engelsk 1993 International Workshop on Formal Specification Methods forComplex Reasoning Systems
| Utgitt | New York : Ellis Horwood , 1993
|
|---|---|
| Omfang | VIII, 282 s. : ill.
|
| Opplysninger | "Based on the material from the International Workshop on Formal Specification Methods for Complex Reasoning Systems, Vienna, 1992, organized during ECAI'92 by the Artificial Intelligence Group, Vrije Universiteit Amsterdam."
|
| Emner | |
| ISBN | 0133367851
|
