par Hoos, Holger H.;Stützle, Thomas
Référence Journal of automated reasoning, 24, 4, page (421-481)
Publication Publié, 2000
Référence Journal of automated reasoning, 24, 4, page (421-481)
Publication Publié, 2000
Article révisé par les pairs
Titre: |
|
Auteur: | Hoos, Holger H.; Stützle, Thomas |
Informations sur la publication: | Journal of automated reasoning, 24, 4, page (421-481) |
Statut de publication: | Publié, 2000 |
Sujet CREF: | Informatique mathématique |
Note générale: | SCOPUS: ar.j |
Langue: | Anglais |
Identificateurs: | urn:issn:0168-7433 |
info:doi/10.1023/A:1006350622830 | |
info:scp/0342918673 |