Superposition for Higher-Order Logic Lecture Notes in Computer Science, nr. 16088 Autor Alexander Bentkamp 7 iun 2027 Paperback Preț: 671.13 lei 838.90 lei Nepublicat încă -20% Nou
