Computational Aspects of an Order-Sorted Logic with Term Declarations Autor Manfred Schmidt-Schauß 20 sep 1989 Paperback Preț: 288.80 lei 361.01 lei 6-8 săpt. -20%
