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

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

[ACM Press the 2004 ACM symposium - Nicosia, Cyprus (2004.03.14-2004.03.17)] Proceedings of the 2004 ACM symposium on Applied computing - SAC '04 - Constructive negation by bottom-up computation of literal answers

[ACM Press the 2004 ACM symposium - Nicosia, Cyprus (2004.03.14-2004.03.17)] Proceedings of the 2004 ACM symposium on Applied computing - SAC '04 - Constructive negation by bottom-up computation of literal answers

Álvez, Javier; Lucio, Paqui; Orejas, Fernando

作者Álvez, Javier; Lucio, Paqui; Orejas, Fernando
文件大小217.56KB
发表时间2004
DOI10.1145/967900.968194

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