Computer Science and Multiple-Valued Logic: Theory and Applications
Computer Science and Multiple-Valued Logic: Theory and Applications focuses on the processes, methodologies, and approaches involved in multiple-valued logic and its relationship to computer science. The selection first tackles an introduction to multiple-valued logic, lattice theory of post algebra...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
Elsevier Science
2014
|
| Schlagworte: | |
| Online-Zugang: | FAW01 |
| Zusammenfassung: | Computer Science and Multiple-Valued Logic: Theory and Applications focuses on the processes, methodologies, and approaches involved in multiple-valued logic and its relationship to computer science. The selection first tackles an introduction to multiple-valued logic, lattice theory of post algebras, multiple-valued logic design and applications in binary computers, smallest many-valued logic for the treatment of complemented and uncomplemented error signals, and chain based lattices. Discussions focus on formulation, representation theory, theory and circuit design, logical tables, and unary operations. The text then examines multiple-valued signal processing with limiting, development of multiple-valued logic as related to computer science, p-algebras, and an algorithm for axiomatizing every finite logic.The book takes a look at completeness properties of multiple-valued logic algebras, computer simplification of multi-valued switching functions, and minimization of multivalued functions. Topics include generation of prime implicants, realizations, minimization algorithms, decomposition algorithm for multi-valued switching functions, and relation between the sum-of-products form and array of cubes. The selection is aimed at computer engineers, computer scientists, applied mathematicians, and physicists interested in multiple-valued logic as the discipline relates to computer engineering and computer science |
| Beschreibung: | Description based on publisher supplied metadata and other sources |
| Beschreibung: | 1 online resource (563 pages) |
| ISBN: | 9781483257921 9780720404067 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043616816 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160616s2014 |||| o||u| ||||||eng d | ||
| 020 | |a 9781483257921 |9 978-1-4832-5792-1 | ||
| 020 | |a 9780720404067 |c Print |9 978-0-7204-0406-7 | ||
| 035 | |a (ZDB-30-PQE)EBC1901650 | ||
| 035 | |a (ZDB-89-EBL)EBL1901650 | ||
| 035 | |a (ZDB-38-EBR)ebr11008463 | ||
| 035 | |a (OCoLC)557857886 | ||
| 035 | |a (DE-599)BVBBV043616816 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 511.35 | |
| 100 | 1 | |a Rine, David C. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Computer Science and Multiple-Valued Logic |b Theory and Applications |
| 264 | 1 | |a Amsterdam |b Elsevier Science |c 2014 | |
| 264 | 4 | |c © 1977 | |
| 300 | |a 1 online resource (563 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Description based on publisher supplied metadata and other sources | ||
| 520 | |a Computer Science and Multiple-Valued Logic: Theory and Applications focuses on the processes, methodologies, and approaches involved in multiple-valued logic and its relationship to computer science. The selection first tackles an introduction to multiple-valued logic, lattice theory of post algebras, multiple-valued logic design and applications in binary computers, smallest many-valued logic for the treatment of complemented and uncomplemented error signals, and chain based lattices. Discussions focus on formulation, representation theory, theory and circuit design, logical tables, and unary operations. The text then examines multiple-valued signal processing with limiting, development of multiple-valued logic as related to computer science, p-algebras, and an algorithm for axiomatizing every finite logic.The book takes a look at completeness properties of multiple-valued logic algebras, computer simplification of multi-valued switching functions, and minimization of multivalued functions. Topics include generation of prime implicants, realizations, minimization algorithms, decomposition algorithm for multi-valued switching functions, and relation between the sum-of-products form and array of cubes. The selection is aimed at computer engineers, computer scientists, applied mathematicians, and physicists interested in multiple-valued logic as the discipline relates to computer engineering and computer science | ||
| 650 | 4 | |a Logic circuits | |
| 650 | 4 | |a Many-valued logic | |
| 650 | 4 | |a Switching theory | |
| 650 | 4 | |a Threshold logic | |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Digitalschaltung |0 (DE-588)4012295-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mehrwertige Logik |0 (DE-588)4169335-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 1 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 689 | 1 | 0 | |a Digitalschaltung |0 (DE-588)4012295-5 |D s |
| 689 | 1 | 1 | |a Mehrwertige Logik |0 (DE-588)4169335-8 |D s |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 689 | 2 | 0 | |a Mehrwertige Logik |0 (DE-588)4169335-8 |D s |
| 689 | 2 | 1 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 2 | |8 4\p |5 DE-604 | |
| 689 | 3 | 0 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 3 | |8 5\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |a Rine, David C |t . Computer Science and Multiple-Valued Logic : Theory and Applications |
| 912 | |a ZDB-30-PQE |a ZDB-33-ESD |a ZDB-33-EBS | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029030875 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 5\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780720404067 |l FAW01 |p ZDB-33-ESD |q FAW_PDA_ESD |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176358820020224 |
|---|---|
| any_adam_object | |
| author | Rine, David C. |
| author_facet | Rine, David C. |
| author_role | aut |
| author_sort | Rine, David C. |
| author_variant | d c r dc dcr |
| building | Verbundindex |
| bvnumber | BV043616816 |
| collection | ZDB-30-PQE ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (ZDB-30-PQE)EBC1901650 (ZDB-89-EBL)EBL1901650 (ZDB-38-EBR)ebr11008463 (OCoLC)557857886 (DE-599)BVBBV043616816 |
| dewey-full | 511.35 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.35 |
| dewey-search | 511.35 |
| dewey-sort | 3511.35 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04237nmm a2200697zc 4500</leader><controlfield tag="001">BV043616816</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160616s2014 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781483257921</subfield><subfield code="9">978-1-4832-5792-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780720404067</subfield><subfield code="c">Print</subfield><subfield code="9">978-0-7204-0406-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-30-PQE)EBC1901650</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-89-EBL)EBL1901650</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-38-EBR)ebr11008463</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)557857886</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043616816</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</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></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.35</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rine, David C.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer Science and Multiple-Valued Logic</subfield><subfield code="b">Theory and Applications</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Elsevier Science</subfield><subfield code="c">2014</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 1977</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (563 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="500" ind1=" " ind2=" "><subfield code="a">Description based on publisher supplied metadata and other sources</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Computer Science and Multiple-Valued Logic: Theory and Applications focuses on the processes, methodologies, and approaches involved in multiple-valued logic and its relationship to computer science. The selection first tackles an introduction to multiple-valued logic, lattice theory of post algebras, multiple-valued logic design and applications in binary computers, smallest many-valued logic for the treatment of complemented and uncomplemented error signals, and chain based lattices. Discussions focus on formulation, representation theory, theory and circuit design, logical tables, and unary operations. The text then examines multiple-valued signal processing with limiting, development of multiple-valued logic as related to computer science, p-algebras, and an algorithm for axiomatizing every finite logic.The book takes a look at completeness properties of multiple-valued logic algebras, computer simplification of multi-valued switching functions, and minimization of multivalued functions. Topics include generation of prime implicants, realizations, minimization algorithms, decomposition algorithm for multi-valued switching functions, and relation between the sum-of-products form and array of cubes. The selection is aimed at computer engineers, computer scientists, applied mathematicians, and physicists interested in multiple-valued logic as the discipline relates to computer engineering and computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic circuits</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">Switching theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Threshold logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Digitalschaltung</subfield><subfield code="0">(DE-588)4012295-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mehrwertige Logik</subfield><subfield code="0">(DE-588)4169335-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Digitalschaltung</subfield><subfield code="0">(DE-588)4012295-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Mehrwertige Logik</subfield><subfield code="0">(DE-588)4169335-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Mehrwertige Logik</subfield><subfield code="0">(DE-588)4169335-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">5\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="a">Rine, David C</subfield><subfield code="t">. Computer Science and Multiple-Valued Logic : Theory and Applications</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-PQE</subfield><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029030875</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="883" ind1="1" ind2=" "><subfield code="8">2\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="883" ind1="1" ind2=" "><subfield code="8">3\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="883" ind1="1" ind2=" "><subfield code="8">4\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="883" ind1="1" ind2=" "><subfield code="8">5\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://www.sciencedirect.com/science/book/9780720404067</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FAW_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV043616816 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:30:55Z |
| institution | BVB |
| isbn | 9781483257921 9780720404067 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029030875 |
| oclc_num | 557857886 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 1 online resource (563 pages) |
| psigel | ZDB-30-PQE ZDB-33-ESD ZDB-33-EBS ZDB-33-ESD FAW_PDA_ESD |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Elsevier Science |
| record_format | marc |
| spelling | Rine, David C. Verfasser aut Computer Science and Multiple-Valued Logic Theory and Applications Amsterdam Elsevier Science 2014 © 1977 1 online resource (563 pages) txt rdacontent c rdamedia cr rdacarrier Description based on publisher supplied metadata and other sources Computer Science and Multiple-Valued Logic: Theory and Applications focuses on the processes, methodologies, and approaches involved in multiple-valued logic and its relationship to computer science. The selection first tackles an introduction to multiple-valued logic, lattice theory of post algebras, multiple-valued logic design and applications in binary computers, smallest many-valued logic for the treatment of complemented and uncomplemented error signals, and chain based lattices. Discussions focus on formulation, representation theory, theory and circuit design, logical tables, and unary operations. The text then examines multiple-valued signal processing with limiting, development of multiple-valued logic as related to computer science, p-algebras, and an algorithm for axiomatizing every finite logic.The book takes a look at completeness properties of multiple-valued logic algebras, computer simplification of multi-valued switching functions, and minimization of multivalued functions. Topics include generation of prime implicants, realizations, minimization algorithms, decomposition algorithm for multi-valued switching functions, and relation between the sum-of-products form and array of cubes. The selection is aimed at computer engineers, computer scientists, applied mathematicians, and physicists interested in multiple-valued logic as the discipline relates to computer engineering and computer science Logic circuits Many-valued logic Switching theory Threshold logic Informatik (DE-588)4026894-9 gnd rswk-swf Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Digitalschaltung (DE-588)4012295-5 gnd rswk-swf Mehrwertige Logik (DE-588)4169335-8 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content Logik (DE-588)4036202-4 s Informatik (DE-588)4026894-9 s 2\p DE-604 Digitalschaltung (DE-588)4012295-5 s Mehrwertige Logik (DE-588)4169335-8 s 3\p DE-604 4\p DE-604 Datenverarbeitung (DE-588)4011152-0 s 5\p DE-604 Erscheint auch als Druck-Ausgabe Rine, David C . Computer Science and Multiple-Valued Logic : Theory and Applications 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 5\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Rine, David C. Computer Science and Multiple-Valued Logic Theory and Applications Logic circuits Many-valued logic Switching theory Threshold logic Informatik (DE-588)4026894-9 gnd Datenverarbeitung (DE-588)4011152-0 gnd Digitalschaltung (DE-588)4012295-5 gnd Mehrwertige Logik (DE-588)4169335-8 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4026894-9 (DE-588)4011152-0 (DE-588)4012295-5 (DE-588)4169335-8 (DE-588)4036202-4 (DE-588)4143413-4 |
| title | Computer Science and Multiple-Valued Logic Theory and Applications |
| title_auth | Computer Science and Multiple-Valued Logic Theory and Applications |
| title_exact_search | Computer Science and Multiple-Valued Logic Theory and Applications |
| title_full | Computer Science and Multiple-Valued Logic Theory and Applications |
| title_fullStr | Computer Science and Multiple-Valued Logic Theory and Applications |
| title_full_unstemmed | Computer Science and Multiple-Valued Logic Theory and Applications |
| title_short | Computer Science and Multiple-Valued Logic |
| title_sort | computer science and multiple valued logic theory and applications |
| title_sub | Theory and Applications |
| topic | Logic circuits Many-valued logic Switching theory Threshold logic Informatik (DE-588)4026894-9 gnd Datenverarbeitung (DE-588)4011152-0 gnd Digitalschaltung (DE-588)4012295-5 gnd Mehrwertige Logik (DE-588)4169335-8 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Logic circuits Many-valued logic Switching theory Threshold logic Informatik Datenverarbeitung Digitalschaltung Mehrwertige Logik Logik Aufsatzsammlung |
| work_keys_str_mv | AT rinedavidc computerscienceandmultiplevaluedlogictheoryandapplications |