Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Available items only
Author Azevedo, Francisco.

Title Constraint solving over multi-valued logics [electronic resource] : application to digital circuits / Francisco Azevedo.

Imprint Amsterdam ; Oxford : IOS Press, c2003.


Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Description xviii, 204 p. : ill.
Series Frontiers in artificial intelligence and applications, 0922-6389 ; v. 91. Dissertations in artificial intelligence
Frontiers in artificial intelligence and applications ; v. 91.
Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence.
Thesis Thesis (Ph. D.)--UNL/FCT.
Bibliography Includes bibliographical references and index.
Reproduction Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subject Integrated circuits -- Mathematical models.
Digital electronics.
Genre/Form Electronic books.
Added Author ProQuest (Firm)
ISBN 1586033042 (IOS Press)
4274905551 (Ohmsha)

Available items only