Computational Aspects of an Order-Sorted Logic with Term Declarations Lecture Notes in Computer Science, nr. 395 Autor Manfred Schmidt-Schauß 20 sep 1989 Paperback Preț: 298.52 lei 373.14 lei 6-8 săpt. -20%
