DaftarIsitemplate
 
Call Number
SEM-281
Title
A Note on symmetry heuristics in SEM, Hal. 181-194
Author
Thierry Boy de la Tour;
Publisher
Proceedings : Automated deduction CADE-18, 18th International conference on automated deduction Copenhagen, Denmark, July 2002
Subject
Location