标题: amp;amp;阿提特:公理化无递归的常规监视器 amp;amp;奥拉斯特:醋酸纤维 amp;amp;日期:2022 amp;amp;数字对象标识:2016年10月10日/j.jlamp.2022.100778 amp;amp;体裁:文章 amp;amp;身份证号码:7531445 amp;amp;发行编号:2352-2208 amp;amp;页:文章ID 100778,32页。 amp;amp;搅拌棒:J.日志。代数。方法计划。 amp;amp;标题:程序设计中的逻辑和代数方法杂志 amp;amp;体积:127 sid:FIZ-Karlsruhe:zbMATH公司
×
Entschuldigung公司:我们知道这不是一个自动的图书馆。
Bitte verwenden Sie das nachstehende Suchformular order die Karte,um Ihre Heimateinrichtung auszuwählen。