迈克尔·弗伦德 超紧凑推理操作。 (英语) Zbl 0792.03014号 螺柱日志。 52,第3期,457-481(1993). 审核人:M.Freund(巴黎) MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{M.Freund},Stud.Log。52,第3号,457--481(1993;Zbl 0792.03014) 全文: 内政部
约翰·斯莱尼 R附近系统中的句子常量。 (英语) Zbl 0796.03031号 螺柱日志。 52,第3期,443-455(1993).MSC公司:03B47号 03-04 PDF格式BibTeX公司 XML格式引用 \textit{J.Slaney},Stud.Log。52,第3号,443--455(1993;Zbl 0796.03031) 全文: 内政部
Gianpiero Cattaneo;Dalla Chiara,Maria L。;罗伯托·吉安蒂尼 模糊直觉量子逻辑。 (英语) 兹伯利0791.03036 螺柱日志。 52,第3期,419-442页(1993年). 审核人:A.Dvurečenskij(布拉迪斯拉发) MSC公司:03G12号机组 81页第10页 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{G.Cattaneo}等人,研究日志。52,第3号,419--442(1993;Zbl 0791.03036) 全文: 内政部
迪特马尔·施韦格特 混合术语和句子。 (英语) Zbl 0798.03033号 螺柱日志。 52,第3期,405-417(1993). 审核人:D.施韦格特 MSC公司:03C05号机组 06B20号 08B99号 PDF格式BibTeX公司 XML格式引用 \textit{D.Schweigert},研究日志。52,第3号,405--417(1993;Zbl 0798.03033) 全文: 内政部
亚当·科拉尼 超图的可满足性。 (英语) Zbl 0790.03010号 螺柱日志。 52,第3号,393-404(1993).MSC公司:03B35型 05C65号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Kolany},螺柱日志。52,第3号,393--404(1993;Zbl 0790.03010) 全文: 内政部
格雷格·雷斯塔尔 如何真正避免收缩。 (英语) Zbl 0793.03003号 螺柱日志。 52,第3期,381-391(1993). 审核人:G.Restall(昆士兰) MSC公司:03A05号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{G.Restall},螺柱日志。52,第3号,381--391(1993;Zbl 0793.03003) 全文: 内政部
戴维·梅金森 五张极简的脸。 (英语) Zbl 0790.03026号 螺柱日志。 52,第3期,339-379(1993). 审核人:D.Makinson(阿夫雷村) MSC公司:03B60号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Makinson},螺柱日志。52,第3号,339--379(1993;Zbl 0790.03026) 全文: 内政部