An algebraic approach to the formalization of some deduction techniques
V. V. AtayanVolume:
21
Language:
english
Pages:
6
DOI:
10.1007/bf01075129
Date:
January, 1985
File:
PDF, 437 KB
english, 1985