DaftarIsitemplate

Call Number

005.133 Gab l

Title

On the relation between answer set and sat procedures (or, between cmodels and smodels),(LNCS-Lecture Notes in Computer Science 3668) Hal 37-51

Author

Enrico Giunchiglia; Marco Maratea;

Publisher

Springer, 2005

Subject

Location