Computational Aspects of an Order-Sorted Logic with Term Declarations
1989 · ENGLISH · PDF
View detailsBooks by author
M. Schmidt-Schauß (eds.)
Computational Aspects of an Order-Sorted Logic with Term Declarations
1989 · ENGLISH · DJVU
View details