DaftarIsitemplate

Call Number

005.133 Gab l

Title

Abduction of linear arithmetic constraints, (LNCS-Lecture Notes in Computer Science 3668) Hal 174-188

Author

Michael J.Maher;

Publisher

Springer, 2005

Subject

Location