Constraint solving over multi-valued logics application to digital circuits / Francisco Azevedo.

Author/creator Azevedo, Francisco
Format Electronic
Publication InfoAmsterdam ; Washington, DC : IOS Press ; Tokyo : Ohmsha,
Descriptionxviii, 204 p. : ill. ; 24 cm.
Supplemental ContentFull text available from Ebook Central - Academic Complete
Supplemental ContentFull text available from eBooks on EBSCOhost
Subjects

SeriesFrontiers in artificial intelligence and applications ; v. 91
Bibliography noteIncludes bibliographical references.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2002113947
ISBN1586033042 (IOS Press)
ISBN4274905551 (Ohmsha)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available