International Conference on Theory and Applications of Satisfiability Testing (SAT ) (Lehti)

Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi