Logic for computer science and artificial intelligence:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
London
ISTE
2011
|
| Schlagworte: | |
| Online-Zugang: | FRO01 UBG01 Volltext |
| Beschreibung: | Includes bibliographical references and index Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.), the diffuse nature of these sources is problematic and logic as a topic benefits from a unified approach. Logic for Computer Science and Artificial Intelligence utilizes this format, surveying the tableaux, resolution, Davis and Putnam methods, logic programming, as well as for example unification and subsumption. For non-classical logics, the |
| Beschreibung: | 1 Online-Ressource (537 pages) |
| ISBN: | 9781118604182 1118604180 9781118604205 1118604202 9781118604267 1118604261 1848213018 9781848213012 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043395466 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160222s2011 |||| o||u| ||||||eng d | ||
| 020 | |a 9781118604182 |c electronic bk. |9 978-1-118-60418-2 | ||
| 020 | |a 1118604180 |c electronic bk. |9 1-118-60418-0 | ||
| 020 | |a 9781118604205 |c electronic bk. |9 978-1-118-60420-5 | ||
| 020 | |a 1118604202 |c electronic bk. |9 1-118-60420-2 | ||
| 020 | |a 9781118604267 |9 978-1-118-60426-7 | ||
| 020 | |a 1118604261 |9 1-118-60426-1 | ||
| 020 | |a 1848213018 |9 1-84821-301-8 | ||
| 020 | |a 9781848213012 |9 978-1-84821-301-2 | ||
| 020 | |a 9781848213012 |9 978-1-84821-301-2 | ||
| 024 | 7 | |a 10.1002/9781118604182 |2 doi | |
| 035 | |a (ZDB-35-WIC)ocn828298951 | ||
| 035 | |a (OCoLC)828298951 | ||
| 035 | |a (DE-599)BVBBV043395466 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-861 | ||
| 082 | 0 | |a 006.3 |2 23 | |
| 100 | 1 | |a Caferra, Ricardo |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic for computer science and artificial intelligence |c Ricardo Caferra |
| 264 | 1 | |a London |b ISTE |c 2011 | |
| 300 | |a 1 Online-Ressource (537 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references and index | ||
| 500 | |a Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.), the diffuse nature of these sources is problematic and logic as a topic benefits from a unified approach. Logic for Computer Science and Artificial Intelligence utilizes this format, surveying the tableaux, resolution, Davis and Putnam methods, logic programming, as well as for example unification and subsumption. For non-classical logics, the | ||
| 650 | 7 | |a COMPUTERS / Enterprise Applications / Business Intelligence Tools |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Intelligence (AI) & Semantics |2 bisacsh | |
| 650 | 7 | |a Artificial intelligence |2 fast | |
| 650 | 7 | |a Computer logic |2 fast | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Artificial intelligence | |
| 856 | 4 | 0 | |u https://onlinelibrary.wiley.com/doi/book/10.1002/9781118604182 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-35-WIC | ||
| 940 | 1 | |q UBG_PDA_WIC | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028814050 | ||
| 966 | e | |u https://onlinelibrary.wiley.com/doi/book/10.1002/9781118604182 |l FRO01 |p ZDB-35-WIC |q FRO_PDA_WIC |x Verlag |3 Volltext | |
| 966 | e | |u https://onlinelibrary.wiley.com/doi/book/10.1002/9781118604182 |l UBG01 |p ZDB-35-WIC |q UBG_PDA_WIC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175975356825600 |
|---|---|
| any_adam_object | |
| author | Caferra, Ricardo |
| author_facet | Caferra, Ricardo |
| author_role | aut |
| author_sort | Caferra, Ricardo |
| author_variant | r c rc |
| building | Verbundindex |
| bvnumber | BV043395466 |
| collection | ZDB-35-WIC |
| ctrlnum | (ZDB-35-WIC)ocn828298951 (OCoLC)828298951 (DE-599)BVBBV043395466 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| 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>02749nmm a2200553zc 4500</leader><controlfield tag="001">BV043395466</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160222s2011 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781118604182</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-118-60418-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1118604180</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-118-60418-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781118604205</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-118-60420-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1118604202</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-118-60420-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781118604267</subfield><subfield code="9">978-1-118-60426-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1118604261</subfield><subfield code="9">1-118-60426-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1848213018</subfield><subfield code="9">1-84821-301-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781848213012</subfield><subfield code="9">978-1-84821-301-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781848213012</subfield><subfield code="9">978-1-84821-301-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1002/9781118604182</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-35-WIC)ocn828298951</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)828298951</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043395466</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-861</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Caferra, Ricardo</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic for computer science and artificial intelligence</subfield><subfield code="c">Ricardo Caferra</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">ISTE</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (537 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">Includes bibliographical references and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.), the diffuse nature of these sources is problematic and logic as a topic benefits from a unified approach. Logic for Computer Science and Artificial Intelligence utilizes this format, surveying the tableaux, resolution, Davis and Putnam methods, logic programming, as well as for example unification and subsumption. For non-classical logics, the</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Enterprise Applications / Business Intelligence Tools</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Intelligence (AI) & Semantics</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Artificial intelligence</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer logic</subfield><subfield code="2">fast</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">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118604182</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-35-WIC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">UBG_PDA_WIC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028814050</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118604182</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-35-WIC</subfield><subfield code="q">FRO_PDA_WIC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118604182</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-35-WIC</subfield><subfield code="q">UBG_PDA_WIC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043395466 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:24:49Z |
| institution | BVB |
| isbn | 9781118604182 1118604180 9781118604205 1118604202 9781118604267 1118604261 1848213018 9781848213012 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028814050 |
| oclc_num | 828298951 |
| open_access_boolean | |
| owner | DE-861 |
| owner_facet | DE-861 |
| physical | 1 Online-Ressource (537 pages) |
| psigel | ZDB-35-WIC UBG_PDA_WIC ZDB-35-WIC FRO_PDA_WIC ZDB-35-WIC UBG_PDA_WIC |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | ISTE |
| record_format | marc |
| spelling | Caferra, Ricardo Verfasser aut Logic for computer science and artificial intelligence Ricardo Caferra London ISTE 2011 1 Online-Ressource (537 pages) txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references and index Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.), the diffuse nature of these sources is problematic and logic as a topic benefits from a unified approach. Logic for Computer Science and Artificial Intelligence utilizes this format, surveying the tableaux, resolution, Davis and Putnam methods, logic programming, as well as for example unification and subsumption. For non-classical logics, the COMPUTERS / Enterprise Applications / Business Intelligence Tools bisacsh COMPUTERS / Intelligence (AI) & Semantics bisacsh Artificial intelligence fast Computer logic fast Künstliche Intelligenz Computer logic Artificial intelligence https://onlinelibrary.wiley.com/doi/book/10.1002/9781118604182 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Caferra, Ricardo Logic for computer science and artificial intelligence COMPUTERS / Enterprise Applications / Business Intelligence Tools bisacsh COMPUTERS / Intelligence (AI) & Semantics bisacsh Artificial intelligence fast Computer logic fast Künstliche Intelligenz Computer logic Artificial intelligence |
| title | Logic for computer science and artificial intelligence |
| title_auth | Logic for computer science and artificial intelligence |
| title_exact_search | Logic for computer science and artificial intelligence |
| title_full | Logic for computer science and artificial intelligence Ricardo Caferra |
| title_fullStr | Logic for computer science and artificial intelligence Ricardo Caferra |
| title_full_unstemmed | Logic for computer science and artificial intelligence Ricardo Caferra |
| title_short | Logic for computer science and artificial intelligence |
| title_sort | logic for computer science and artificial intelligence |
| topic | COMPUTERS / Enterprise Applications / Business Intelligence Tools bisacsh COMPUTERS / Intelligence (AI) & Semantics bisacsh Artificial intelligence fast Computer logic fast Künstliche Intelligenz Computer logic Artificial intelligence |
| topic_facet | COMPUTERS / Enterprise Applications / Business Intelligence Tools COMPUTERS / Intelligence (AI) & Semantics Artificial intelligence Computer logic Künstliche Intelligenz |
| url | https://onlinelibrary.wiley.com/doi/book/10.1002/9781118604182 |
| work_keys_str_mv | AT caferraricardo logicforcomputerscienceandartificialintelligence |