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

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

[IEEE Comput. Soc Proceedings. 14th Symposium on Logic in Computer Science - Trento, Italy (2-5 July 1999)] Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158) - First-order logic vs. fixed-point logic in finite set theory

[IEEE Comput. Soc Proceedings. 14th Symposium on Logic in Computer Science - Trento, Italy (2-5 July 1999)] Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158) - First-order logic vs. fixed-point logic in finite set theory

Atserias, A.; Kolaitis, P.G.

作者Atserias, A.; Kolaitis, P.G.
文件大小235.53KB
发表时间1999
DOI10.1109/lics.1999.782622
页码275-284

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