@文章{Steingartner_2015,doi={10.17512/jamcm.2015.1.09},url={https://doi.org/10.17512/jamcm.2015.1.09},年份=2015年,publisher={捷克科技大学出版局},体积={14},数字={1},页数={91--100},author={威廉·斯坦加特纳(William Steingartner)、安德烈亚·波拉科娃(Andrea Poláková)、彼得·普拉扎克(Peter Prazák)和瓦莱丽·诺维茨卡}(Valerie Novitzká),title={计算机科学中的线性逻辑},journal={应用数学与计算力学杂志}}
TY-JOUR公司DO-10.17512/jamcm.2015.1.09UR-(欧元)https://doi.org/10.17512/jamcm.2015.1.09TI-计算机科学中的线性逻辑T2-应用数学与计算力学杂志JA-J应用数学计算机械澳大利亚——威廉·斯坦加特纳澳大利亚联盟-波拉科娃,安德里亚AU-彼得·普拉扎克(Peter Prazňák)澳大利亚-瓦莱丽·诺维茨卡2015年上半年PB-捷克科技大学出版办公室SP-91EP-100IS-1标准VL-14序号:2299-9965序号:2353-0588急诊室-
Steingartner,W.、Poláková,A.、Prazňák,P.和Novitzká,V.(2015)。计算机科学中的线性逻辑。应用数学与计算力学杂志,14(1),91-100。doi:10.17512/jamcm.2015.1.09
Steingartner,W.,Poláková,A.,Prazňák,P.&Novitzká,V.,2015年。计算机科学中的线性逻辑。应用数学与计算力学杂志,14(1),第91-100页。网址:https://doi.org/10.17512/jamcm.2015.1.09
[1] W.Steingartner、A.Poláková、P.Prazák和V.Novitzká,“计算机科学中的线性逻辑”,《应用数学与计算力学杂志》,第14卷,第1期,第91-100页,2015年。
斯坦加特纳、威廉、安德烈亚·波拉科娃、彼得·普拉扎克和瓦莱丽·诺维茨卡。《计算机科学中的线性逻辑》,《应用数学与计算力学杂志》14.1(2015):91-100。交叉参考。网状物。
1.Steingartner W、PolákováA、Prazňak P、NovitzkáV。计算机科学中的线性逻辑。应用数学与计算力学杂志。捷克理工大学出版社;2015;14(1):91-100. 可从以下位置获得:https://doi.org/10.17512/jamcm.2015.1.09
斯坦加特纳、威廉、安德烈亚·波拉科娃、彼得·普拉扎克和瓦莱丽·诺维茨卡。“计算机科学中的线性逻辑”,《应用数学与计算力学杂志》14,第1期(2015):91-100。doi:10.17512/jamcm.2015.1.09