乔治·斯特鲁斯 🌐
2018年12月11日
2024年5月6日星期一17:45:35+0200
伊莎贝尔/9电子88c17a723e
甲胎蛋白/65f70952d452
转换器_符号-AFP
@文章{Transformer_Semantics-AFP,作者={Georg Struth},title={变压器语义},journal={正式证据存档},月={十二月},年份={2018年},注意={\url{https://isa-afp.org/entries/Transformer_Semantics.html},形式证明开发},ISSN={2150-914x},}
旧版本: