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”

-P.C.Mahalanobis


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, ksatpathy@isical.ac.in


Visitor Counter