Computational Aspects of an Order-Sorted Logic with Term Declarations.rarHigh Speed Download
File size : 10.4 MB