DaftarIsitemplate

Call Number

005.133 Gab l

Title

Towards implementations for advanced equivalence checking in answer-set programming, (LNCS-Lecture Notes in Computer Science 3668) Hal 189-203

Author

Hans Tompits; Stefan Woltran;

Publisher

Springer, 2005

Subject

Location