Constraint solving over multi-valued logics :: application to digital circuits /
Systems are subject to faults in their components, affecting their overall behaviour. This work addresses such problems developing models with multi-valued logics that it formalizes and generalizes to multiple faults. Such logics extend Boolean logic by encoding dependencies on faults.
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam ; Washington, DC : Tokyo :
IOS ; Ohmsha,
2003.
|
| Schriftenreihe: | Frontiers in artificial intelligence and applications ;
v. 91. Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | Systems are subject to faults in their components, affecting their overall behaviour. This work addresses such problems developing models with multi-valued logics that it formalizes and generalizes to multiple faults. Such logics extend Boolean logic by encoding dependencies on faults. |
| Beschreibung: | 1 online resource (xviii, 204 pages) : illustrations |
| Format: | Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |
| Bibliographie: | Includes bibliographical references (pages 145-153). |
| ISBN: | 058545860X 9780585458601 9781586033040 1586033042 9784274905551 4274905551 9781601294128 1601294123 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocm53011694 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 030911s2003 ne a ob 000 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d TUU |d OCLCQ |d TNF |d OCLCQ |d UV0 |d CAI |d OCLCE |d E7B |d DKDLA |d IDEBK |d OCLCO |d FVL |d OCLCQ |d OCLCF |d OCLCO |d OCLCQ |d YDXCP |d MERUC |d OCLCQ |d AZK |d COCUF |d AGLDB |d MOR |d PIFBR |d OCLCQ |d JBG |d OCLCQ |d WY@ |d LUE |d OCLCQ |d RCC |d VTS |d OCLCQ |d INT |d VT2 |d OCLCQ |d WYU |d S9I |d STF |d UX1 |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ | ||
| 019 | |a 191037939 |a 228132452 |a 276799395 |a 297460356 |a 437171314 |a 475328154 |a 488492326 |a 560017623 |a 607404473 |a 666964402 |a 722445253 |a 728035480 |a 961541979 |a 961625906 |a 962597530 |a 962672683 |a 973978755 |a 974062681 |a 982315353 |a 988452161 |a 992022623 |a 1013791873 |a 1053060687 |a 1055332926 |a 1064081843 |a 1081260473 |a 1101715542 |a 1105544160 |a 1108848270 |a 1119039156 |a 1121021989 |a 1125458032 |a 1136205410 |a 1148100923 |a 1156650804 |a 1178675866 |a 1228613120 |a 1247712008 |a 1257340056 | ||
| 020 | |a 058545860X |q (electronic bk.) | ||
| 020 | |a 9780585458601 |q (electronic bk.) | ||
| 020 | |a 9781586033040 |q (IOS Press) | ||
| 020 | |a 1586033042 |q (IOS Press) | ||
| 020 | |a 9784274905551 |q (Ohmsha) | ||
| 020 | |a 4274905551 |q (Ohmsha) | ||
| 020 | |a 9781601294128 |q (electronic bk.) | ||
| 020 | |a 1601294123 |q (electronic bk.) | ||
| 035 | |a (OCoLC)53011694 |z (OCoLC)191037939 |z (OCoLC)228132452 |z (OCoLC)276799395 |z (OCoLC)297460356 |z (OCoLC)437171314 |z (OCoLC)475328154 |z (OCoLC)488492326 |z (OCoLC)560017623 |z (OCoLC)607404473 |z (OCoLC)666964402 |z (OCoLC)722445253 |z (OCoLC)728035480 |z (OCoLC)961541979 |z (OCoLC)961625906 |z (OCoLC)962597530 |z (OCoLC)962672683 |z (OCoLC)973978755 |z (OCoLC)974062681 |z (OCoLC)982315353 |z (OCoLC)988452161 |z (OCoLC)992022623 |z (OCoLC)1013791873 |z (OCoLC)1053060687 |z (OCoLC)1055332926 |z (OCoLC)1064081843 |z (OCoLC)1081260473 |z (OCoLC)1101715542 |z (OCoLC)1105544160 |z (OCoLC)1108848270 |z (OCoLC)1119039156 |z (OCoLC)1121021989 |z (OCoLC)1125458032 |z (OCoLC)1136205410 |z (OCoLC)1148100923 |z (OCoLC)1156650804 |z (OCoLC)1178675866 |z (OCoLC)1228613120 |z (OCoLC)1247712008 |z (OCoLC)1257340056 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a QA76.612 |b .A94 2003eb | |
| 072 | 7 | |a COM |x 051390 |2 bisacsh | |
| 072 | 7 | |a COM |x 051440 |2 bisacsh | |
| 072 | 7 | |a COM |x 051230 |2 bisacsh | |
| 072 | 7 | |a TK |2 lcco | |
| 082 | 7 | |a 005.116 |2 22 | |
| 049 | |a MAIN | ||
| 100 | 1 | |a Azevedo, Francisco. | |
| 245 | 1 | 0 | |a Constraint solving over multi-valued logics : |b application to digital circuits / |c Francisco Azevedo. |
| 260 | |a Amsterdam ; |a Washington, DC : |b IOS ; |a Tokyo : |b Ohmsha, |c 2003. | ||
| 300 | |a 1 online resource (xviii, 204 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file | ||
| 490 | 1 | |a Frontiers in artificial intelligence and applications ; |v v. 91 | |
| 490 | 1 | |a Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence | |
| 504 | |a Includes bibliographical references (pages 145-153). | ||
| 588 | 0 | |a Print version record. | |
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 505 | 0 | |a Cover; Title page; Table of Contents; Chapter 1. Introduction; Chapter 2. Circuit Modelling; Chapter 3. Test Patterns; Chapter 4. Differential Diagnosis; Chapter 5. Problems with Multiple Diagnoses; Chapter 6. A New Set Constraint Solver: Cardinal; Chapter 7. Test Pattern Optimisation; Chapter 8. Generalisation, Discussion and Conclusion; References; Appendix A: ISCAS Circuits; Appendix B: Logics. | |
| 520 | |a Systems are subject to faults in their components, affecting their overall behaviour. This work addresses such problems developing models with multi-valued logics that it formalizes and generalizes to multiple faults. Such logics extend Boolean logic by encoding dependencies on faults. | ||
| 650 | 0 | |a Constraint programming (Computer science) |0 http://id.loc.gov/authorities/subjects/sh94003833 | |
| 650 | 0 | |a Many-valued logic. |0 http://id.loc.gov/authorities/subjects/sh85080796 | |
| 650 | 0 | |a Digital electronics. |0 http://id.loc.gov/authorities/subjects/sh85037976 | |
| 650 | 6 | |a Programmation par contraintes. | |
| 650 | 6 | |a Logique multivalente. | |
| 650 | 6 | |a Électronique numérique. | |
| 650 | 7 | |a COMPUTERS |x Programming |x Open Source. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x Tools. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x General. |2 bisacsh | |
| 650 | 7 | |a Constraint programming (Computer science) |2 fast | |
| 650 | 7 | |a Digital electronics |2 fast | |
| 650 | 7 | |a Many-valued logic |2 fast | |
| 776 | 0 | 8 | |i Print version: |a Azevedo, Francisco. |t Constraint solving over multi-valued logics. |d Amsterdam ; Washington, DC : IOS ; Tokyo : Ohmsha, 2003 |z 1586033042 |z 4274905551 |w (OCoLC)51911916 |
| 830 | 0 | |a Frontiers in artificial intelligence and applications ; |v v. 91. | |
| 830 | 0 | |a Frontiers in artificial intelligence and applications. |p Dissertations in artificial intelligence. | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=87528 |3 Volltext |
| 938 | |a EBSCOhost |b EBSC |n 87528 | ||
| 938 | |a YBP Library Services |b YANK |n 2628483 | ||
| 938 | |a YBP Library Services |b YANK |n 2334041 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocm53011694 |
|---|---|
| _version_ | 1816881611192401920 |
| adam_text | |
| any_adam_object | |
| author | Azevedo, Francisco |
| author_facet | Azevedo, Francisco |
| author_role | |
| author_sort | Azevedo, Francisco |
| author_variant | f a fa |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.612 .A94 2003eb |
| callnumber-search | QA76.612 .A94 2003eb |
| callnumber-sort | QA 276.612 A94 42003EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Cover; Title page; Table of Contents; Chapter 1. Introduction; Chapter 2. Circuit Modelling; Chapter 3. Test Patterns; Chapter 4. Differential Diagnosis; Chapter 5. Problems with Multiple Diagnoses; Chapter 6. A New Set Constraint Solver: Cardinal; Chapter 7. Test Pattern Optimisation; Chapter 8. Generalisation, Discussion and Conclusion; References; Appendix A: ISCAS Circuits; Appendix B: Logics. |
| ctrlnum | (OCoLC)53011694 |
| dewey-full | 005.116 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.116 |
| dewey-search | 005.116 |
| dewey-sort | 15.116 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05774cam a2200781 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocm53011694 </controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">030911s2003 ne a ob 000 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">TUU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">TNF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UV0</subfield><subfield code="d">CAI</subfield><subfield code="d">OCLCE</subfield><subfield code="d">E7B</subfield><subfield code="d">DKDLA</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCO</subfield><subfield code="d">FVL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">YDXCP</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">COCUF</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFBR</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">JBG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WY@</subfield><subfield code="d">LUE</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">RCC</subfield><subfield code="d">VTS</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">S9I</subfield><subfield code="d">STF</subfield><subfield code="d">UX1</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">191037939</subfield><subfield code="a">228132452</subfield><subfield code="a">276799395</subfield><subfield code="a">297460356</subfield><subfield code="a">437171314</subfield><subfield code="a">475328154</subfield><subfield code="a">488492326</subfield><subfield code="a">560017623</subfield><subfield code="a">607404473</subfield><subfield code="a">666964402</subfield><subfield code="a">722445253</subfield><subfield code="a">728035480</subfield><subfield code="a">961541979</subfield><subfield code="a">961625906</subfield><subfield code="a">962597530</subfield><subfield code="a">962672683</subfield><subfield code="a">973978755</subfield><subfield code="a">974062681</subfield><subfield code="a">982315353</subfield><subfield code="a">988452161</subfield><subfield code="a">992022623</subfield><subfield code="a">1013791873</subfield><subfield code="a">1053060687</subfield><subfield code="a">1055332926</subfield><subfield code="a">1064081843</subfield><subfield code="a">1081260473</subfield><subfield code="a">1101715542</subfield><subfield code="a">1105544160</subfield><subfield code="a">1108848270</subfield><subfield code="a">1119039156</subfield><subfield code="a">1121021989</subfield><subfield code="a">1125458032</subfield><subfield code="a">1136205410</subfield><subfield code="a">1148100923</subfield><subfield code="a">1156650804</subfield><subfield code="a">1178675866</subfield><subfield code="a">1228613120</subfield><subfield code="a">1247712008</subfield><subfield code="a">1257340056</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">058545860X</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780585458601</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781586033040</subfield><subfield code="q">(IOS Press)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1586033042</subfield><subfield code="q">(IOS Press)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9784274905551</subfield><subfield code="q">(Ohmsha)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">4274905551</subfield><subfield code="q">(Ohmsha)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781601294128</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1601294123</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)53011694</subfield><subfield code="z">(OCoLC)191037939</subfield><subfield code="z">(OCoLC)228132452</subfield><subfield code="z">(OCoLC)276799395</subfield><subfield code="z">(OCoLC)297460356</subfield><subfield code="z">(OCoLC)437171314</subfield><subfield code="z">(OCoLC)475328154</subfield><subfield code="z">(OCoLC)488492326</subfield><subfield code="z">(OCoLC)560017623</subfield><subfield code="z">(OCoLC)607404473</subfield><subfield code="z">(OCoLC)666964402</subfield><subfield code="z">(OCoLC)722445253</subfield><subfield code="z">(OCoLC)728035480</subfield><subfield code="z">(OCoLC)961541979</subfield><subfield code="z">(OCoLC)961625906</subfield><subfield code="z">(OCoLC)962597530</subfield><subfield code="z">(OCoLC)962672683</subfield><subfield code="z">(OCoLC)973978755</subfield><subfield code="z">(OCoLC)974062681</subfield><subfield code="z">(OCoLC)982315353</subfield><subfield code="z">(OCoLC)988452161</subfield><subfield code="z">(OCoLC)992022623</subfield><subfield code="z">(OCoLC)1013791873</subfield><subfield code="z">(OCoLC)1053060687</subfield><subfield code="z">(OCoLC)1055332926</subfield><subfield code="z">(OCoLC)1064081843</subfield><subfield code="z">(OCoLC)1081260473</subfield><subfield code="z">(OCoLC)1101715542</subfield><subfield code="z">(OCoLC)1105544160</subfield><subfield code="z">(OCoLC)1108848270</subfield><subfield code="z">(OCoLC)1119039156</subfield><subfield code="z">(OCoLC)1121021989</subfield><subfield code="z">(OCoLC)1125458032</subfield><subfield code="z">(OCoLC)1136205410</subfield><subfield code="z">(OCoLC)1148100923</subfield><subfield code="z">(OCoLC)1156650804</subfield><subfield code="z">(OCoLC)1178675866</subfield><subfield code="z">(OCoLC)1228613120</subfield><subfield code="z">(OCoLC)1247712008</subfield><subfield code="z">(OCoLC)1257340056</subfield></datafield><datafield tag="042" ind1=" " ind2=" "><subfield code="a">dlr</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.612</subfield><subfield code="b">.A94 2003eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">051390</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">051440</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">051230</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">TK</subfield><subfield code="2">lcco</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">005.116</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</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="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">Washington, DC :</subfield><subfield code="b">IOS ;</subfield><subfield code="a">Tokyo :</subfield><subfield code="b">Ohmsha,</subfield><subfield code="c">2003.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xviii, 204 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">data file</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications ;</subfield><subfield code="v">v. 91</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 145-153).</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="506" ind1=" " ind2=" "><subfield code="3">Use copy</subfield><subfield code="f">Restrictions unspecified</subfield><subfield code="2">star</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction.</subfield><subfield code="b">[Place of publication not identified] :</subfield><subfield code="c">HathiTrust Digital Library,</subfield><subfield code="d">2010.</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.</subfield><subfield code="u">http://purl.oclc.org/DLF/benchrepro0212</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="583" ind1="1" ind2=" "><subfield code="a">digitized</subfield><subfield code="c">2010</subfield><subfield code="h">HathiTrust Digital Library</subfield><subfield code="l">committed to preserve</subfield><subfield code="2">pda</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Cover; Title page; Table of Contents; Chapter 1. Introduction; Chapter 2. Circuit Modelling; Chapter 3. Test Patterns; Chapter 4. Differential Diagnosis; Chapter 5. Problems with Multiple Diagnoses; Chapter 6. A New Set Constraint Solver: Cardinal; Chapter 7. Test Pattern Optimisation; Chapter 8. Generalisation, Discussion and Conclusion; References; Appendix A: ISCAS Circuits; Appendix B: Logics.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Systems are subject to faults in their components, affecting their overall behaviour. This work addresses such problems developing models with multi-valued logics that it formalizes and generalizes to multiple faults. Such logics extend Boolean logic by encoding dependencies on faults.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Constraint programming (Computer science)</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh94003833</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Many-valued logic.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85080796</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Digital electronics.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85037976</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Programmation par contraintes.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique multivalente.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Électronique numérique.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Programming</subfield><subfield code="x">Open Source.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Software Development & Engineering</subfield><subfield code="x">Tools.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Software Development & Engineering</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Constraint programming (Computer science)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Digital electronics</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Many-valued logic</subfield><subfield code="2">fast</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Azevedo, Francisco.</subfield><subfield code="t">Constraint solving over multi-valued logics.</subfield><subfield code="d">Amsterdam ; Washington, DC : IOS ; Tokyo : Ohmsha, 2003</subfield><subfield code="z">1586033042</subfield><subfield code="z">4274905551</subfield><subfield code="w">(OCoLC)51911916</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="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=87528</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">87528</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2628483</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2334041</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocm53011694 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:15:28Z |
| institution | BVB |
| isbn | 058545860X 9780585458601 9781586033040 1586033042 9784274905551 4274905551 9781601294128 1601294123 |
| language | English |
| oclc_num | 53011694 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xviii, 204 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | IOS ; Ohmsha, |
| record_format | marc |
| series | Frontiers in artificial intelligence and applications ; Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence. |
| series2 | Frontiers in artificial intelligence and applications ; Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence |
| spelling | Azevedo, Francisco. Constraint solving over multi-valued logics : application to digital circuits / Francisco Azevedo. Amsterdam ; Washington, DC : IOS ; Tokyo : Ohmsha, 2003. 1 online resource (xviii, 204 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier data file Frontiers in artificial intelligence and applications ; v. 91 Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence Includes bibliographical references (pages 145-153). Print version record. Use copy Restrictions unspecified star MiAaHDL Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2010. MiAaHDL Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL Cover; Title page; Table of Contents; Chapter 1. Introduction; Chapter 2. Circuit Modelling; Chapter 3. Test Patterns; Chapter 4. Differential Diagnosis; Chapter 5. Problems with Multiple Diagnoses; Chapter 6. A New Set Constraint Solver: Cardinal; Chapter 7. Test Pattern Optimisation; Chapter 8. Generalisation, Discussion and Conclusion; References; Appendix A: ISCAS Circuits; Appendix B: Logics. Systems are subject to faults in their components, affecting their overall behaviour. This work addresses such problems developing models with multi-valued logics that it formalizes and generalizes to multiple faults. Such logics extend Boolean logic by encoding dependencies on faults. Constraint programming (Computer science) http://id.loc.gov/authorities/subjects/sh94003833 Many-valued logic. http://id.loc.gov/authorities/subjects/sh85080796 Digital electronics. http://id.loc.gov/authorities/subjects/sh85037976 Programmation par contraintes. Logique multivalente. Électronique numérique. COMPUTERS Programming Open Source. bisacsh COMPUTERS Software Development & Engineering Tools. bisacsh COMPUTERS Software Development & Engineering General. bisacsh Constraint programming (Computer science) fast Digital electronics fast Many-valued logic fast Print version: Azevedo, Francisco. Constraint solving over multi-valued logics. Amsterdam ; Washington, DC : IOS ; Tokyo : Ohmsha, 2003 1586033042 4274905551 (OCoLC)51911916 Frontiers in artificial intelligence and applications ; v. 91. Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence. FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=87528 Volltext |
| spellingShingle | Azevedo, Francisco Constraint solving over multi-valued logics : application to digital circuits / Frontiers in artificial intelligence and applications ; Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence. Cover; Title page; Table of Contents; Chapter 1. Introduction; Chapter 2. Circuit Modelling; Chapter 3. Test Patterns; Chapter 4. Differential Diagnosis; Chapter 5. Problems with Multiple Diagnoses; Chapter 6. A New Set Constraint Solver: Cardinal; Chapter 7. Test Pattern Optimisation; Chapter 8. Generalisation, Discussion and Conclusion; References; Appendix A: ISCAS Circuits; Appendix B: Logics. Constraint programming (Computer science) http://id.loc.gov/authorities/subjects/sh94003833 Many-valued logic. http://id.loc.gov/authorities/subjects/sh85080796 Digital electronics. http://id.loc.gov/authorities/subjects/sh85037976 Programmation par contraintes. Logique multivalente. Électronique numérique. COMPUTERS Programming Open Source. bisacsh COMPUTERS Software Development & Engineering Tools. bisacsh COMPUTERS Software Development & Engineering General. bisacsh Constraint programming (Computer science) fast Digital electronics fast Many-valued logic fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh94003833 http://id.loc.gov/authorities/subjects/sh85080796 http://id.loc.gov/authorities/subjects/sh85037976 |
| title | Constraint solving over multi-valued logics : application to digital circuits / |
| title_auth | Constraint solving over multi-valued logics : application to digital circuits / |
| title_exact_search | Constraint solving over multi-valued logics : application to digital circuits / |
| title_full | Constraint solving over multi-valued logics : application to digital circuits / Francisco Azevedo. |
| title_fullStr | Constraint solving over multi-valued logics : application to digital circuits / Francisco Azevedo. |
| title_full_unstemmed | Constraint solving over multi-valued logics : application to digital circuits / Francisco Azevedo. |
| title_short | Constraint solving over multi-valued logics : |
| title_sort | constraint solving over multi valued logics application to digital circuits |
| title_sub | application to digital circuits / |
| topic | Constraint programming (Computer science) http://id.loc.gov/authorities/subjects/sh94003833 Many-valued logic. http://id.loc.gov/authorities/subjects/sh85080796 Digital electronics. http://id.loc.gov/authorities/subjects/sh85037976 Programmation par contraintes. Logique multivalente. Électronique numérique. COMPUTERS Programming Open Source. bisacsh COMPUTERS Software Development & Engineering Tools. bisacsh COMPUTERS Software Development & Engineering General. bisacsh Constraint programming (Computer science) fast Digital electronics fast Many-valued logic fast |
| topic_facet | Constraint programming (Computer science) Many-valued logic. Digital electronics. Programmation par contraintes. Logique multivalente. Électronique numérique. COMPUTERS Programming Open Source. COMPUTERS Software Development & Engineering Tools. COMPUTERS Software Development & Engineering General. Digital electronics Many-valued logic |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=87528 |
| work_keys_str_mv | AT azevedofrancisco constraintsolvingovermultivaluedlogicsapplicationtodigitalcircuits |