Formal specification of complex reasoning systems
based on material from the International Workshop onFormal Specification Methods for Complex Reasoning Systems, Vienna, 1992, organized during ECAI'92 by the Artificial Intelligence Group, Vrije Universiteit Amsterdam
Edición de la obra Formal specification of complex reasoning systems
| Autor | Jan Treur, Thomas Wetter |
|---|---|
| Editorial | EllisHorwood |
| Fecha de publicación | 1993 |
| Lugar | New York, London |
| Idioma | inglés |
| Páginas | 282 |
| ISBN-10 | 0133367851 |
| OCLC | 28424556 |
| LCCN | 93011634 |