An example reasoning task description

Izak van Langevelde, Albert W. Philipsen, J. 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	7-13
Number of pages	7
ISBN (Print)	0-13-336785-1
Publication status	Published - 1993

Access to Document

@inproceedings{2a9c643f8be549919413d8273d070c36,

title = "An example reasoning task description",

author = "Langevelde, {Izak van} and Philipsen, {Albert W.} and J. Treur",

year = "1993",

language = "English",

isbn = "0-13-336785-1",

pages = "7--13",

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

booktitle = "Formal specification of complex reasoning systems",

publisher = "Ellis Horwood",

}