Constraint solving over multi-valued logics : application to digital circuits /

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

Saved in:
Bibliographic Details
Superior document:Frontiers in artificial intelligence and applications, v. 91. Dissertations in artificial intelligence
:
ProQuest (Firm)
Azevedo, Francisco.
TeilnehmendeR:
ProQuest (Firm)
Year of Publication:2003
Language:English
Series:Frontiers in artificial intelligence and applications ; v. 91.
Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence.
Online Access:
Physical Description:xviii, 204 p. :; ill.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 500267482
ctrlnum (MiAaPQ)500267482
(Au-PeEL)EBL267482
(CaPaEBR)ebr10116478
(CaONFJC)MIL50577
(OCoLC)814456826
collection bib_alma
record_format marc
spelling Azevedo, Francisco.
Constraint solving over multi-valued logics [electronic resource] : application to digital circuits / Francisco Azevedo.
Amsterdam ; Oxford : IOS Press, c2003.
xviii, 204 p. : ill.
Frontiers in artificial intelligence and applications, 0922-6389 ; v. 91. Dissertations in artificial intelligence
Thesis (Ph. D.)--UNL/FCT.
Includes bibliographical references and index.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Integrated circuits Mathematical models.
Digital electronics.
Electronic books.
ProQuest (Firm)
Frontiers in artificial intelligence and applications ; v. 91.
Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence.
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=267482 Click to View
language English
format Thesis
Electronic
eBook
author Azevedo, Francisco.
spellingShingle Azevedo, Francisco.
Constraint solving over multi-valued logics application to digital circuits /
Frontiers in artificial intelligence and applications,
Dissertations in artificial intelligence
author_facet Azevedo, Francisco.
ProQuest (Firm)
ProQuest (Firm)
author_variant f a fa
author2 ProQuest (Firm)
author2_role TeilnehmendeR
author_corporate ProQuest (Firm)
author_sort Azevedo, Francisco.
title Constraint solving over multi-valued logics application to digital circuits /
title_sub application to digital circuits /
title_full Constraint solving over multi-valued logics [electronic resource] : application to digital circuits / Francisco Azevedo.
title_fullStr Constraint solving over multi-valued logics [electronic resource] : application to digital circuits / Francisco Azevedo.
title_full_unstemmed Constraint solving over multi-valued logics [electronic resource] : application to digital circuits / Francisco Azevedo.
title_auth Constraint solving over multi-valued logics application to digital circuits /
title_new Constraint solving over multi-valued logics
title_sort constraint solving over multi-valued logics application to digital circuits /
series Frontiers in artificial intelligence and applications,
Dissertations in artificial intelligence
series2 Frontiers in artificial intelligence and applications,
Dissertations in artificial intelligence
publisher IOS Press,
publishDate 2003
physical xviii, 204 p. : ill.
issn 0922-6389 ;
callnumber-first T - Technology
callnumber-subject TK - Electrical and Nuclear Engineering
callnumber-label TK7874
callnumber-sort TK 47874 A94 42003
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=267482
illustrated Illustrated
dewey-hundreds 600 - Technology
dewey-tens 620 - Engineering
dewey-ones 621 - Applied physics
dewey-full 621.395
dewey-sort 3621.395
dewey-raw 621.395
dewey-search 621.395
oclc_num 814456826
work_keys_str_mv AT azevedofrancisco constraintsolvingovermultivaluedlogicsapplicationtodigitalcircuits
AT proquestfirm constraintsolvingovermultivaluedlogicsapplicationtodigitalcircuits
status_str n
ids_txt_mv (MiAaPQ)500267482
(Au-PeEL)EBL267482
(CaPaEBR)ebr10116478
(CaONFJC)MIL50577
(OCoLC)814456826
hierarchy_parent_title Frontiers in artificial intelligence and applications, v. 91. Dissertations in artificial intelligence
hierarchy_sequence v. 91.
is_hierarchy_title Constraint solving over multi-valued logics application to digital circuits /
container_title Frontiers in artificial intelligence and applications, v. 91. Dissertations in artificial intelligence
author2_original_writing_str_mv noLinkedField
_version_ 1792330673225203712
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01713nam a2200409Ia 4500</leader><controlfield tag="001">500267482</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">021001s2003 ne a sb 001 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2002113947</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1586033042 (IOS Press)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">4274905551 (Ohmsha)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)500267482</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL267482</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10116478</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL50577</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)814456826</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">TK7874</subfield><subfield code="b">.A94 2003</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">621.395</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Azevedo, Francisco.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Constraint solving over multi-valued logics</subfield><subfield code="h">[electronic resource] :</subfield><subfield code="b">application to digital circuits /</subfield><subfield code="c">Francisco Azevedo.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam ;</subfield><subfield code="a">Oxford :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">c2003.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xviii, 204 p. :</subfield><subfield code="b">ill.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications,</subfield><subfield code="x">0922-6389 ;</subfield><subfield code="v">v. 91.</subfield><subfield code="a">Dissertations in artificial intelligence</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Thesis (Ph. D.)--UNL/FCT.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Integrated circuits</subfield><subfield code="x">Mathematical models.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Digital electronics.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Frontiers in artificial intelligence and applications ;</subfield><subfield code="v">v. 91.</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Frontiers in artificial intelligence and applications.</subfield><subfield code="p">Dissertations in artificial intelligence.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=267482</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

Similar Items