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