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 proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationFormal Specification of Complex Reasoning Systems
EditorsJ. Treur, T. Wetter
PublisherEllis Horwood
Number of pages26
Publication statusPublished - 1993

Cite this