Kriener, M., & Dyckhoff, R. (2009). Implementation of a cut−free sequent calculus for logics with adjoint modalities.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Kriener, M., ба R. Dyckhoff. Implementation of a Cut−free Sequent Calculus for Logics with Adjoint Modalities. 2009.
MLA -ийн эшлэл (9 дэх хэвлэлт)Kriener, M., ба R. Dyckhoff. Implementation of a Cut−free Sequent Calculus for Logics with Adjoint Modalities. 2009.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.