海量图书期刊资源,随时随地畅享阅读乐趣
[Lecture Notes in Computer Science] Computer Science Logic Volume 1584 ||Gottlob, Georg; Grandjean, Etienne; Seyr, Katrin · 1999
[Lecture Notes in Computer Science] Computer Science Logic Volume 1584 || An Upper Bound for Minimal Resolution RefutationsGottlob, Georg; Grandjean, Etienne; Seyr, Katrin · 1999