Enlarge

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

Publication Data

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
Contributors Jan Treur, Th. Wetter
Publisher Ellis Horwood
Publication date 1993
Publication location New York
Language English

Catalogue Data

OBNB ID GB9344478
ISBN 10 0133367851
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 006.33

ISBD

P1053 viii,282p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

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. ISBN 0133367851. Published by Ellis Horwood in 1993. Publication and catalogue information, links to buy online and reader comments.