Beyond Two: Theory and Applications of Multiple-Valued Logic:
This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major methodological issues of many-valued logics are treated, as well as applications of many-valued logics to reasoning with fuzzy information. Areas...
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Heidelberg
Physica-Verlag HD
2003
|
| Schriftenreihe: | Studies in Fuzziness and Soft Computing
114 |
| Schlagworte: | |
| Online-Zugang: | FHI01 BTU01 Volltext |
| Zusammenfassung: | This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major methodological issues of many-valued logics are treated, as well as applications of many-valued logics to reasoning with fuzzy information. Areas covered include: Algebras of multiple valued logics and their applications, proof theory and automated deduction in multiple valued logics, fuzzy logics and their applications, and multiple valued logics for control theory and rational belief |
| Beschreibung: | 1 Online-Ressource (X, 374 p) |
| ISBN: | 9783790817690 |
| DOI: | 10.1007/978-3-7908-1769-0 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV045149521 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 180827s2003 |||| o||u| ||||||eng d | ||
| 020 | |a 9783790817690 |9 978-3-7908-1769-0 | ||
| 024 | 7 | |a 10.1007/978-3-7908-1769-0 |2 doi | |
| 035 | |a (ZDB-2-ENG)978-3-7908-1769-0 | ||
| 035 | |a (OCoLC)1050935383 | ||
| 035 | |a (DE-599)BVBBV045149521 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-573 |a DE-634 | ||
| 082 | 0 | |a 005.131 |2 23 | |
| 245 | 1 | 0 | |a Beyond Two: Theory and Applications of Multiple-Valued Logic |c edited by Melvin Fitting, Ewa Orłowska |
| 264 | 1 | |a Heidelberg |b Physica-Verlag HD |c 2003 | |
| 300 | |a 1 Online-Ressource (X, 374 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studies in Fuzziness and Soft Computing |v 114 | |
| 520 | |a This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major methodological issues of many-valued logics are treated, as well as applications of many-valued logics to reasoning with fuzzy information. Areas covered include: Algebras of multiple valued logics and their applications, proof theory and automated deduction in multiple valued logics, fuzzy logics and their applications, and multiple valued logics for control theory and rational belief | ||
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Mathematics of Computing | |
| 650 | 4 | |a Logic Design | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Algebra | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Computer science / Mathematics | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Algebra | |
| 700 | 1 | |a Fitting, Melvin |4 edt | |
| 700 | 1 | |a Orłowska, Ewa |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783790825220 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-7908-1769-0 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-ENG | ||
| 940 | 1 | |q ZDB-2-ENG_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030539219 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-7908-1769-0 |l FHI01 |p ZDB-2-ENG |q ZDB-2-ENG_2000/2004 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-7908-1769-0 |l BTU01 |p ZDB-2-ENG |q ZDB-2-ENG_Archiv |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804178821376638976 |
|---|---|
| any_adam_object | |
| author2 | Fitting, Melvin Orłowska, Ewa |
| author2_role | edt edt |
| author2_variant | m f mf e o eo |
| author_facet | Fitting, Melvin Orłowska, Ewa |
| building | Verbundindex |
| bvnumber | BV045149521 |
| collection | ZDB-2-ENG |
| ctrlnum | (ZDB-2-ENG)978-3-7908-1769-0 (OCoLC)1050935383 (DE-599)BVBBV045149521 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-7908-1769-0 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02547nmm a2200565zcb4500</leader><controlfield tag="001">BV045149521</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">180827s2003 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783790817690</subfield><subfield code="9">978-3-7908-1769-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-7908-1769-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-ENG)978-3-7908-1769-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1050935383</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045149521</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-573</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Beyond Two: Theory and Applications of Multiple-Valued Logic</subfield><subfield code="c">edited by Melvin Fitting, Ewa Orłowska</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg</subfield><subfield code="b">Physica-Verlag HD</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 374 p)</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">Studies in Fuzziness and Soft Computing</subfield><subfield code="v">114</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major methodological issues of many-valued logics are treated, as well as applications of many-valued logics to reasoning with fuzzy information. Areas covered include: Algebras of multiple valued logics and their applications, proof theory and automated deduction in multiple valued logics, fuzzy logics and their applications, and multiple valued logics for control theory and rational belief</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics of Computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic Design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science / Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fitting, Melvin</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Orłowska, Ewa</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783790825220</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-7908-1769-0</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-ENG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-ENG_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030539219</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-7908-1769-0</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="q">ZDB-2-ENG_2000/2004</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-7908-1769-0</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="q">ZDB-2-ENG_Archiv</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV045149521 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:10:04Z |
| institution | BVB |
| isbn | 9783790817690 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030539219 |
| oclc_num | 1050935383 |
| open_access_boolean | |
| owner | DE-573 DE-634 |
| owner_facet | DE-573 DE-634 |
| physical | 1 Online-Ressource (X, 374 p) |
| psigel | ZDB-2-ENG ZDB-2-ENG_2000/2004 ZDB-2-ENG ZDB-2-ENG_2000/2004 ZDB-2-ENG ZDB-2-ENG_Archiv |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Physica-Verlag HD |
| record_format | marc |
| series2 | Studies in Fuzziness and Soft Computing |
| spelling | Beyond Two: Theory and Applications of Multiple-Valued Logic edited by Melvin Fitting, Ewa Orłowska Heidelberg Physica-Verlag HD 2003 1 Online-Ressource (X, 374 p) txt rdacontent c rdamedia cr rdacarrier Studies in Fuzziness and Soft Computing 114 This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major methodological issues of many-valued logics are treated, as well as applications of many-valued logics to reasoning with fuzzy information. Areas covered include: Algebras of multiple valued logics and their applications, proof theory and automated deduction in multiple valued logics, fuzzy logics and their applications, and multiple valued logics for control theory and rational belief Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs Mathematics of Computing Logic Design Artificial Intelligence (incl. Robotics) Algebra Computer science Logic design Computer logic Mathematical logic Computer science / Mathematics Artificial intelligence Fitting, Melvin edt Orłowska, Ewa edt Erscheint auch als Druck-Ausgabe 9783790825220 https://doi.org/10.1007/978-3-7908-1769-0 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Beyond Two: Theory and Applications of Multiple-Valued Logic Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs Mathematics of Computing Logic Design Artificial Intelligence (incl. Robotics) Algebra Computer science Logic design Computer logic Mathematical logic Computer science / Mathematics Artificial intelligence |
| title | Beyond Two: Theory and Applications of Multiple-Valued Logic |
| title_auth | Beyond Two: Theory and Applications of Multiple-Valued Logic |
| title_exact_search | Beyond Two: Theory and Applications of Multiple-Valued Logic |
| title_full | Beyond Two: Theory and Applications of Multiple-Valued Logic edited by Melvin Fitting, Ewa Orłowska |
| title_fullStr | Beyond Two: Theory and Applications of Multiple-Valued Logic edited by Melvin Fitting, Ewa Orłowska |
| title_full_unstemmed | Beyond Two: Theory and Applications of Multiple-Valued Logic edited by Melvin Fitting, Ewa Orłowska |
| title_short | Beyond Two: Theory and Applications of Multiple-Valued Logic |
| title_sort | beyond two theory and applications of multiple valued logic |
| topic | Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs Mathematics of Computing Logic Design Artificial Intelligence (incl. Robotics) Algebra Computer science Logic design Computer logic Mathematical logic Computer science / Mathematics Artificial intelligence |
| topic_facet | Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs Mathematics of Computing Logic Design Artificial Intelligence (incl. Robotics) Algebra Computer science Logic design Computer logic Mathematical logic Computer science / Mathematics Artificial intelligence |
| url | https://doi.org/10.1007/978-3-7908-1769-0 |
| work_keys_str_mv | AT fittingmelvin beyondtwotheoryandapplicationsofmultiplevaluedlogic AT orłowskaewa beyondtwotheoryandapplicationsofmultiplevaluedlogic |