亚历山德罗·阿塔尔;恩里科·弗朗科尼 描述逻辑的时间扩展综述。 （英语） 兹伯利0998.03013 安。数学。Artif公司。智力。 30，编号1-4171-210（2000）.MSC公司：03B44号 68T27型 03B60号 68-02 03-02 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}和\textit{E.Franconi}，安.数学。Artif公司。智力。30，编号1--4，171-210（2000；Zbl 0998.03013） 全文： 内政部
丹尼尔·拉诺（Daniel A.Llano）。;Albert S·冯。 听觉丘脑时间处理的计算模型。 （英语） Zbl 0970.92005号 生物、网络。 83，第5期，419-433（2000）.MSC公司：92C20美元 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Llano}和\textit{A.S.Feng}，Biol。赛博。83，第5号，419--433（2000；Zbl 0970.92005） 全文： 内政部
诺维科夫，V.V。;Vojtsekhovskij，K.V.公司。 分形介质的粘弹性特性。 （英语。俄文原件） Zbl 0967.74017号 普里克尔。Mekh。泰克。菲兹。 41，第1期，162-172（2000）; J.Appl.中的翻译。机械。技术物理。41，第1期，149-158（2000）。 审核人：N.I.Alexandrova（新西伯利亚） MSC公司：74D99型 28A80型 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Novikov}和\textit{K.V.Vojtsekovskij}，Prikl。Mekh。泰克。菲兹。41，第1号，162--172（2000；Zbl 0967.74017）；J.Appl.中的翻译。机械。技术物理。41，第1号，149--158（2000）
弗朗西丝卡·列维 定时状态图的合成验证。 （英语） Zbl 0945.03042号 Barringer，Howard（编辑）等人，《时间逻辑的进展》。第二届时间逻辑国际会议论文选集，ICTL，英国曼彻斯特，1997年。多德雷赫特：Kluwer学术出版社。申请。日志。序列号。第16页，第47-70页（2000年）。MSC公司：03B70号 60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{F.Levi}，应用。日志。序列号。16、47-70（2000；Zbl 0945.03042）
雅罗斯拉夫·斯塔克 观察复杂性，看到简单性。 （英语） Zbl 0959.37018号 菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 358，编号1765，41-61（2000）.MSC公司：37C20美元 37M10个 37D05型 37立方厘米 37纳米99 PDF格式BibTeX公司 XML格式引用 \文本{J.斯塔克}，菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。358，编号1765，41--61（2000；Zbl 0959.37018） 全文： 内政部