-
1
Constructive Type Theory
Published 2022-06-01Subjects: “…Element - Type - Judgment - Constructive - Semantic - Canonical.…”
Get full text
Article -
2
SEVERAL ENTITY ELEMENT IN THE COMPARISON OF AVIATION GEAR BOX CALCULATION
Published 2015-01-01Subjects: Get full text
Article -
3
Stress Analysis of Typical Welded Joints for Locomotive Body
Published 2015-01-01Subjects: Get full text
Article