机译:在正式的公理认识论系统Sigma中假设A-Priori-Ness的知识守恒守恒定律
机译:从知识的假设a-priorti-ness,在逻辑上正式的公理认识论系统中惯性法则的正式演绎推理
机译:离散Lax算子的形式对角化和动力系统的守恒律与对称性。
机译:能量通量算子,电流守恒和形式傅立叶定律
机译:适用于普遍存在的医疗系统的正式规范要求的公理模型
机译:通过公理系统对工程设计信息进行形式化建模。
机译:正式的33 -sigmatropic重排路线到季α-乙烯基氨基酸。
机译:在正式的公理认识论系统Sigma中假设A-Priori-Ness的知识守恒守恒定律