Proof Theory for Fuzzy Logics:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht
Springer Netherlands
2009
|
| Schlagworte: | |
| Online-Zugang: | BTU01 TUM01 UBA01 UBM01 UBT01 UER01 UPA01 Volltext |
| Beschreibung: | 1 Online-Ressource |
| ISBN: | 9781402094095 |
| DOI: | 10.1007/978-1-4020-9409-5 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV036492538 | ||
| 003 | DE-604 | ||
| 005 | 20140527 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 100609s2009 |||| o||u| ||||||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 | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-020415128 | ||
| 966 | e | |u https://doi.org/10.1007/978-1-4020-9409-5 |l BTU01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4020-9409-5 |l TUM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4020-9409-5 |l UBA01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4020-9409-5 |l UBM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4020-9409-5 |l UBT01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4020-9409-5 |l UER01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4020-9409-5 |l UPA01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804143054770143232 |
|---|---|
| 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>02501nmm 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 |||| o||u| ||||||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="999" ind1=" " 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">BTU01</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">TUM01</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">UBA01</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">UBM01</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">UBT01</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">UER01</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">UPA01</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-07-09T22:41:34Z |
| 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 |
| spelling | Metcalfe, George Verfasser aut Proof Theory for Fuzzy Logics by George Metcalfe, Nicola Olivetti, Dov Gabbay ; edited by Dov M. Gabbay, Jon Barwise Dordrecht Springer Netherlands 2009 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier 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 rswk-swf Fuzzy-Logik (DE-588)4341284-1 gnd rswk-swf Fuzzy-Logik (DE-588)4341284-1 s Beweistheorie (DE-588)4145177-6 s DE-604 Gabbay, Dov M. 1945- Sonstige (DE-588)124196314 oth Olivetti, Nicola Sonstige oth Barwise, Jon 1942-2000 Sonstige (DE-588)124163092 oth https://doi.org/10.1007/978-1-4020-9409-5 Verlag Volltext |
| 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 |