DaftarIsitemplate
Call Number
005.133 Bee P
Title
Automatic detection of variable and value symmetries, (LNCS-Lecture Notes in Computer Science 3709) Hal 475-489
Author
Jean-Francois Puget;
Publisher
Springer, 2005
Subject
Location