发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE Comput. Soc. Press [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - Edinburgh, UK (5-8 July 1988)] [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - On the arithmetic inexpressiveness of term rewriting systems

[IEEE Comput. Soc. Press [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - Edinburgh, UK (5-8 July 1988)] [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - On the arithmetic inexpressiveness of term rewriting systems

Vorobyov, S.G.

作者Vorobyov, S.G.
文件大小386.42KB
发表时间1988
DOI10.1109/lics.1988.5120
页码212-217

← 返回【学霸图书馆】主页