Treur, Jan Witter, Thomas
Formal specification of complex reasoning systems - Ellis horwood New York 1993 - 795
0-13-336785-1
MATHEMATICS
515
Formal specification of complex reasoning systems - Ellis horwood New York 1993 - 795
0-13-336785-1
MATHEMATICS
515