Proof Theory for Fuzzy Logics:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Dordrecht
Springer Netherlands
2009
|
| Subjects: | |
| Links: | https://doi.org/10.1007/978-1-4020-9409-5 https://doi.org/10.1007/978-1-4020-9409-5 https://doi.org/10.1007/978-1-4020-9409-5 https://doi.org/10.1007/978-1-4020-9409-5 https://doi.org/10.1007/978-1-4020-9409-5 https://doi.org/10.1007/978-1-4020-9409-5 https://doi.org/10.1007/978-1-4020-9409-5 https://doi.org/10.1007/978-1-4020-9409-5 |
| Physical Description: | 1 Online-Ressource |
| ISBN: | 9781402094095 |
| DOI: | 10.1007/978-1-4020-9409-5 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV036492538 | ||
| 003 | DE-604 | ||
| 005 | 20140527 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 100609s2009 xx o|||| 00||| eng d | ||
| 020 | |a 9781402094095 |9 978-1-4020-9409-5 | ||
| 035 | |a (OCoLC)698778260 | ||
| 035 | |a (DE-599)BVBBV036492538 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-634 |a DE-703 |a DE-29 |a DE-91 |a DE-19 |a DE-384 |a DE-83 |a DE-739 | ||
| 082 | 0 | |a 511.3 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Metcalfe, George |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Proof Theory for Fuzzy Logics |c by George Metcalfe, Nicola Olivetti, Dov Gabbay ; edited by Dov M. Gabbay, Jon Barwise |
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 2009 | |
| 300 | |a 1 Online-Ressource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Algebra | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Order, Lattices, Ordered Algebraic Structures | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Fuzzy-Logik |0 (DE-588)4341284-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Fuzzy-Logik |0 (DE-588)4341284-1 |D s |
| 689 | 0 | 1 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Gabbay, Dov M. |d 1945- |e Sonstige |0 (DE-588)124196314 |4 oth | |
| 700 | 1 | |a Olivetti, Nicola |e Sonstige |4 oth | |
| 700 | 1 | |a Barwise, Jon |d 1942-2000 |e Sonstige |0 (DE-588)124163092 |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4020-9409-5 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020415128 | |
| 966 | e | |u https://doi.org/10.1007/978-1-4020-9409-5 |l DE-634 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4020-9409-5 |l DE-91 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4020-9409-5 |l DE-384 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4020-9409-5 |l DE-19 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4020-9409-5 |l DE-703 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4020-9409-5 |l DE-29 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4020-9409-5 |l DE-739 |p ZDB-2-SMA |x Verlag |3 Volltext | |
Record in the Search Index
| DE-BY-TUM_katkey | 1962853 |
|---|---|
| _version_ | 1821930756632477697 |
| any_adam_object | |
| author | Metcalfe, George |
| author_GND | (DE-588)124196314 (DE-588)124163092 |
| author_facet | Metcalfe, George |
| author_role | aut |
| author_sort | Metcalfe, George |
| author_variant | g m gm |
| building | Verbundindex |
| bvnumber | BV036492538 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA |
| ctrlnum | (OCoLC)698778260 (DE-599)BVBBV036492538 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1007/978-1-4020-9409-5 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02505nam a2200601zc 4500</leader><controlfield tag="001">BV036492538</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140527 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">100609s2009 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781402094095</subfield><subfield code="9">978-1-4020-9409-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)698778260</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036492538</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-634</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Metcalfe, George</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proof Theory for Fuzzy Logics</subfield><subfield code="c">by George Metcalfe, Nicola Olivetti, Dov Gabbay ; edited by Dov M. Gabbay, Jon Barwise</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</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">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Order, Lattices, Ordered Algebraic Structures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fuzzy-Logik</subfield><subfield code="0">(DE-588)4341284-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Fuzzy-Logik</subfield><subfield code="0">(DE-588)4341284-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gabbay, Dov M.</subfield><subfield code="d">1945-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)124196314</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Olivetti, Nicola</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Barwise, Jon</subfield><subfield code="d">1942-2000</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)124163092</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4020-9409-5</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020415128</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4020-9409-5</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-SMA</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-1-4020-9409-5</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-SMA</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-1-4020-9409-5</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-SMA</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-1-4020-9409-5</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-SMA</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-1-4020-9409-5</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-SMA</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-1-4020-9409-5</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-SMA</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-1-4020-9409-5</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV036492538 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T14:35:37Z |
| institution | BVB |
| isbn | 9781402094095 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020415128 |
| oclc_num | 698778260 |
| open_access_boolean | |
| owner | DE-634 DE-703 DE-29 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-83 DE-739 |
| owner_facet | DE-634 DE-703 DE-29 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-83 DE-739 |
| physical | 1 Online-Ressource |
| psigel | ZDB-2-SMA |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer Netherlands |
| record_format | marc |
| spellingShingle | Metcalfe, George Proof Theory for Fuzzy Logics Künstliche Intelligenz Mathematik Algebra Logic Logic, Symbolic and mathematical Mathematics Artificial Intelligence (incl. Robotics) Mathematical Logic and Foundations Order, Lattices, Ordered Algebraic Structures Artificial intelligence Beweistheorie (DE-588)4145177-6 gnd Fuzzy-Logik (DE-588)4341284-1 gnd |
| subject_GND | (DE-588)4145177-6 (DE-588)4341284-1 |
| title | Proof Theory for Fuzzy Logics |
| title_auth | Proof Theory for Fuzzy Logics |
| title_exact_search | Proof Theory for Fuzzy Logics |
| title_full | Proof Theory for Fuzzy Logics by George Metcalfe, Nicola Olivetti, Dov Gabbay ; edited by Dov M. Gabbay, Jon Barwise |
| title_fullStr | Proof Theory for Fuzzy Logics by George Metcalfe, Nicola Olivetti, Dov Gabbay ; edited by Dov M. Gabbay, Jon Barwise |
| title_full_unstemmed | Proof Theory for Fuzzy Logics by George Metcalfe, Nicola Olivetti, Dov Gabbay ; edited by Dov M. Gabbay, Jon Barwise |
| title_short | Proof Theory for Fuzzy Logics |
| title_sort | proof theory for fuzzy logics |
| topic | Künstliche Intelligenz Mathematik Algebra Logic Logic, Symbolic and mathematical Mathematics Artificial Intelligence (incl. Robotics) Mathematical Logic and Foundations Order, Lattices, Ordered Algebraic Structures Artificial intelligence Beweistheorie (DE-588)4145177-6 gnd Fuzzy-Logik (DE-588)4341284-1 gnd |
| topic_facet | Künstliche Intelligenz Mathematik Algebra Logic Logic, Symbolic and mathematical Mathematics Artificial Intelligence (incl. Robotics) Mathematical Logic and Foundations Order, Lattices, Ordered Algebraic Structures Artificial intelligence Beweistheorie Fuzzy-Logik |
| url | https://doi.org/10.1007/978-1-4020-9409-5 |
| work_keys_str_mv | AT metcalfegeorge prooftheoryforfuzzylogics AT gabbaydovm prooftheoryforfuzzylogics AT olivettinicola prooftheoryforfuzzylogics AT barwisejon prooftheoryforfuzzylogics |