Normal view
MARC view
Treur, Jan Witter, Thomas (Personal Name)
Machine generated authority record.
Work cat.: (OSt): Treur, Jan Witter, Thomas , Formal specification of complex reasoning systems