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