Comparing Formal Specification Languages for Complex Reasoning Systems

Frank van Harmelen, Ramon Lopez de Mantaras, Jacek Malec, Jan Treur

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Formal Specification of Complex Reasoning Systems
Editors	J. Treur, T. Wetter
Publisher	Ellis Horwood
Pages	257-282
Number of pages	26
Publication status	Published - 1993

Access to Document

@inproceedings{068f3f9559274570aa6d39bc11083297,

title = "Comparing Formal Specification Languages for Complex Reasoning Systems",

author = "\{van Harmelen\}, Frank and \{Lopez de Mantaras\}, Ramon and Jacek Malec and Jan Treur",

year = "1993",

language = "English",

pages = "257--282",

editor = "J. Treur and T. Wetter",

booktitle = "Formal Specification of Complex Reasoning Systems",

publisher = "Ellis Horwood",

}

Comparing Formal Specification Languages for Complex Reasoning Systems. / van Harmelen, Frank; Lopez de Mantaras, Ramon; Malec, Jacek et al.
Formal Specification of Complex Reasoning Systems. ed. / J. Treur; T. Wetter. Ellis Horwood, 1993. p. 257-282.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review