Constraint solving over multi-value logics / Azevedo, Francisco

Public ISBD Titre : Constraint solving over multi-value logics Type de document : texte imprimé Auteurs : Azevedo, Francisco Editeur : Amstredam : IOS Press Année de publication : 2003 Collection : Frontiers in Artificial Intelligence and Applications num. 91 Importance : xviii - 204 p. ISBN/ISSN/EAN : 978-1-58603-304-0 Langues : Anglais Mots-clés : constraint solver  digital circuits  artificial intelligence Index. décimale : IRIN Constraint solving over multi-value logics [texte imprimé] / Azevedo, Francisco . - Amstredam : IOS Press, 2003 . - xviii - 204 p.. - (Frontiers in Artificial Intelligence and Applications; 91) . ISBN : 978-1-58603-304-0 Langues : Anglais Mots-clés : constraint solver  digital circuits  artificial intelligence Index. décimale : IRIN

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
14330	IRIN/68C99	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

---

page 1/1