Constraint solving over multi-valued logics [electronic resource] : application to digital circuits / Francisco Azevedo.
2003
TK7874 .A94 2003eb
Linked e-resources
Linked Resource
Details
Title
Constraint solving over multi-valued logics [electronic resource] : application to digital circuits / Francisco Azevedo.
Author
ISBN
1586033042 (IOS Press)
4274905551 (Ohmsha)
4274905551 (Ohmsha)
Publication Details
Amsterdam ; Oxford : IOS Press, c2003.
Language
English
Description
xviii, 204 p. : ill.
Call Number
TK7874 .A94 2003eb
Dewey Decimal Classification
621.395
Dissertation Note
Thesis (Ph. D.)--UNL/FCT.
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Series
Frontiers in artificial intelligence and applications ; v. 91.
Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence.
Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence.
Linked Resources
Record Appears in