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

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

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || Solving Alternating Boolean Equation Systems in Answer Set Programming

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || Solving Alternating Boolean Equation Systems in Answer Set Programming

Seipel, Dietmar; Hanus, Michael; Geske, Ulrich; Bartenstein, Oskar

作者Seipel, Dietmar; Hanus, Michael; Geske, Ulrich; Bartenstein, Oskar
文件大小202.60KB
发表时间2005
DOI10.1007/11415763_9
页码134-148

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