Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”


Normal view MARC view ISBD view

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

By: Azevedo, Francisco.
Material type: TextTextSeries: Frontiers in artificial intelligence and applications: v. 91.; Frontiers in artificial intelligence and applicationsDissertations in artificial intelligence: Publisher: Amsterdam ; Washington, DC : Tokyo : IOS ; Ohmsha, 2003Description: 1 online resource (xviii, 204 p.) : ill.ISBN: 058545860X (electronic bk.); 9780585458601 (electronic bk.); 9781586033040 (IOS Press); 1586033042 (IOS Press); 9784274905551 (Ohmsha); 4274905551 (Ohmsha).Subject(s): Constraint programming (Computer science) | Many-valued logic | Digital electronics | COMPUTERS -- Programming -- Open Source | COMPUTERS -- Software Development & Engineering -- Tools | COMPUTERS -- Software Development & Engineering -- General | Electronic books | Electronic booksGenre/Form: Electronic books.Additional physical formats: Print version:: Constraint solving over multi-valued logics.DDC classification: 005.116 Online resources: EBSCOhost
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

Includes bibliographical references (p. 145-153).

Description based on print version record.

There are no comments for this item.

Log in to your account to post a comment.

Other editions of this work

Constraint solving over multi-valued logics by Azevedo, Francisco. ©2003
Constraint solving over multi-valued logics by Azevedo, Francisco. ©2003
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412,

Visitor Counter