Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language DesignNorman RubinInbunden, 2025449 kr
Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language DesignNorman RubinHäftad, 2025259 kr
Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language DesignNorman RubinInbunden, 2025449 kr
Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language DesignNorman RubinHäftad, 2025259 kr