Titre : | HANDBOOK OF SATISFIABILITY |
Auteurs : | A. BIERE, Éditeur scientifique ; M. HEULE, Éditeur scientifique ; H. VAN MAAREN, Éditeur scientifique ; T. WALSH, Éditeur scientifique |
Type de document : | ouvrage |
Mention d'édition : | 2nd |
Editeur : | IOS PRESS, 2021 |
ISBN/ISSN/EAN : | 978-1-64368-160-3 |
Catégories : | |
Auteur personnel du LAAS ? : | Non |
Exemplaires (2)
Code-barres | Cote | Support | Localisation | Section | Disponibilité | Détenteur | Equipe du détenteur |
---|---|---|---|---|---|---|---|
210080 | NON COTE | PAPIER | Equipe ou service | ROC | Contacter le détenteur Exclu du prêt | Emmanuel HEBARD | ROC |
210081 | NON COTE | PAPIER | Equipe ou service | ROC | Contacter le détenteur Exclu du prêt | Emmanuel HEBARD | ROC |