Constraint solving over multi-valued logics: application to digital circuits
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Amsterdam
IOS
2003
|
| Series: | Frontiers in artificial intelligence and applications
v. 91 Frontiers in artificial intelligence and applications |
| Subjects: | |
| Online Access: | FAW01 FAW02 Volltext |
| Item Description: | 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 Includes bibliographical references (pages 145-153) |
| Physical Description: | 1 Online-Ressource (xviii, 204 pages) |
| ISBN: | 058545860X 1586033042 4274905551 9780585458601 9781586033040 9784274905551 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043132682 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2003 |||| o||u| ||||||eng d | ||
| 020 | |a 058545860X |9 0-585-45860-X | ||
| 020 | |a 1586033042 |9 1-58603-304-2 | ||
| 020 | |a 4274905551 |9 4-274-90555-1 | ||
| 020 | |a 9780585458601 |9 978-0-585-45860-1 | ||
| 020 | |a 9781586033040 |9 978-1-58603-304-0 | ||
| 020 | |a 9784274905551 |9 978-4-274-90555-1 | ||
| 035 | |a (OCoLC)53011694 | ||
| 035 | |a (DE-599)BVBBV043132682 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 005.116 |2 22 | |
| 100 | 1 | |a Azevedo, Francisco |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Constraint solving over multi-valued logics |b application to digital circuits |c Francisco Azevedo |
| 264 | 1 | |a Amsterdam |b IOS |c 2003 | |
| 300 | |a 1 Online-Ressource (xviii, 204 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Frontiers in artificial intelligence and applications |v v. 91 | |
| 490 | 0 | |a Frontiers in artificial intelligence and applications | |
| 500 | |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 | ||
| 500 | |a Includes bibliographical references (pages 145-153) | ||
| 650 | 7 | |a COMPUTERS / Programming / Open Source |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Software Development & Engineering / Tools |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Software Development & Engineering / 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 | |
| 650 | 4 | |a Constraint programming (Computer science) | |
| 650 | 4 | |a Many-valued logic | |
| 650 | 4 | |a Digital electronics | |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=87528 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028556873 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=87528 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=87528 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Record in the Search Index
| _version_ | 1804175573552988160 |
|---|---|
| any_adam_object | |
| author | Azevedo, Francisco |
| author_facet | Azevedo, Francisco |
| author_role | aut |
| author_sort | Azevedo, Francisco |
| author_variant | f a fa |
| building | Verbundindex |
| bvnumber | BV043132682 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)53011694 (DE-599)BVBBV043132682 |
| 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>02572nmm a2200553zcb4500</leader><controlfield tag="001">BV043132682</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2003 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">058545860X</subfield><subfield code="9">0-585-45860-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1586033042</subfield><subfield code="9">1-58603-304-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">4274905551</subfield><subfield code="9">4-274-90555-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780585458601</subfield><subfield code="9">978-0-585-45860-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781586033040</subfield><subfield code="9">978-1-58603-304-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9784274905551</subfield><subfield code="9">978-4-274-90555-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)53011694</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043132682</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.116</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Azevedo, Francisco</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">IOS</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xviii, 204 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications</subfield><subfield code="v">v. 91</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications</subfield></datafield><datafield tag="500" 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></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 145-153)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Programming / Open Source</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Software Development & Engineering / Tools</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Software Development & Engineering / 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="650" ind1=" " ind2="4"><subfield code="a">Constraint programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Many-valued logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Digital electronics</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=87528</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028556873</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=87528</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=87528</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV043132682 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:18:26Z |
| institution | BVB |
| isbn | 058545860X 1586033042 4274905551 9780585458601 9781586033040 9784274905551 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028556873 |
| oclc_num | 53011694 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (xviii, 204 pages) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | IOS |
| record_format | marc |
| series2 | Frontiers in artificial intelligence and applications |
| spelling | Azevedo, Francisco Verfasser aut Constraint solving over multi-valued logics application to digital circuits Francisco Azevedo Amsterdam IOS 2003 1 Online-Ressource (xviii, 204 pages) txt rdacontent c rdamedia cr rdacarrier Frontiers in artificial intelligence and applications v. 91 Frontiers in artificial intelligence and applications 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 Includes bibliographical references (pages 145-153) 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 Constraint programming (Computer science) Many-valued logic Digital electronics 1\p (DE-588)4113937-9 Hochschulschrift gnd-content http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=87528 Aggregator Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Azevedo, Francisco Constraint solving over multi-valued logics application to digital circuits 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 Constraint programming (Computer science) Many-valued logic Digital electronics |
| subject_GND | (DE-588)4113937-9 |
| 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 | 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 Constraint programming (Computer science) Many-valued logic Digital electronics |
| topic_facet | COMPUTERS / Programming / Open Source COMPUTERS / Software Development & Engineering / Tools COMPUTERS / Software Development & Engineering / General Constraint programming (Computer science) Digital electronics Many-valued logic Hochschulschrift |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=87528 |
| work_keys_str_mv | AT azevedofrancisco constraintsolvingovermultivaluedlogicsapplicationtodigitalcircuits |