Handbook of logic in artificial intelligence and logic programming, Volume 5, Logic programming:
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Oxford
Clarendon Press
1998
|
| Schlagworte: | |
| Online-Zugang: | FAW01 FAW02 Volltext |
| Beschreibung: | Includes bibliographical references and indexes The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of the application of logic to artificial intelligence and logic programming. The authors are chosen on an international basis and are leaders in the fields covered. Volume 5 is the last in this well-regarded series. Logic is now widely recognized as one of the foundational disciplines of computing. It has found applications in virtually all aspects of the subject, from software and hardware engineering to programming languages and artificial intelligence. In response to the growing need for an in-depth survey of these applications the Handbook of Logic in Artificial Intelligence and its companion, the Handbook of Logic in Computer Science have been created. The Handbooks are a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying themes in the various areas. Some mathematical background is assumed, and much of the material will be of interest to logicians and mathematicians. Volume 5 focuses particularly on logic programming.; The chapters, which in many cases are of monograph length and scope, emphasize possible unifying themes |
| Beschreibung: | 1 Online-Ressource |
| ISBN: | 0585483914 1280375280 9780585483917 9781280375286 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043073340 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s1998 |||| o||u| ||||||eng d | ||
| 020 | |a 0585483914 |9 0-585-48391-4 | ||
| 020 | |a 1280375280 |9 1-280-37528-0 | ||
| 020 | |a 9780585483917 |9 978-0-585-48391-7 | ||
| 020 | |a 9781280375286 |9 978-1-280-37528-6 | ||
| 035 | |a (OCoLC)53957434 | ||
| 035 | |a (DE-599)BVBBV043073340 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 006.3/3 |2 22 | |
| 245 | 1 | 0 | |a Handbook of logic in artificial intelligence and logic programming, Volume 5, Logic programming |c edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson |
| 246 | 1 | 3 | |a Logic programming |
| 264 | 1 | |a Oxford |b Clarendon Press |c 1998 | |
| 300 | |a 1 Online-Ressource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references and indexes | ||
| 500 | |a The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of the application of logic to artificial intelligence and logic programming. The authors are chosen on an international basis and are leaders in the fields covered. Volume 5 is the last in this well-regarded series. Logic is now widely recognized as one of the foundational disciplines of computing. It has found applications in virtually all aspects of the subject, from software and hardware engineering to programming languages and artificial intelligence. In response to the growing need for an in-depth survey of these applications the Handbook of Logic in Artificial Intelligence and its companion, the Handbook of Logic in Computer Science have been created. The Handbooks are a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying themes in the various areas. Some mathematical background is assumed, and much of the material will be of interest to logicians and mathematicians. Volume 5 focuses particularly on logic programming.; The chapters, which in many cases are of monograph length and scope, emphasize possible unifying themes | ||
| 650 | 7 | |a COMPUTERS / Expert Systems |2 bisacsh | |
| 650 | 7 | |a Artificial intelligence |2 fast | |
| 650 | 7 | |a Logic programming |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Logisch programmeren |2 gtt | |
| 650 | 7 | |a Programacao de computadores |2 larpcal | |
| 650 | 7 | |a Inteligencia artificial (computacao) |2 larpcal | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 700 | 1 | |a Gabbay, Dov M. |e Sonstige |4 oth | |
| 700 | 1 | |a Hogger, Christopher John |e Sonstige |4 oth | |
| 700 | 1 | |a Robinson, J. A. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=98458 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028497532 | ||
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=98458 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=98458 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175458665758720 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV043073340 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)53957434 (DE-599)BVBBV043073340 |
| dewey-full | 006.3/3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3/3 |
| dewey-search | 006.3/3 |
| dewey-sort | 16.3 13 |
| 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>03412nmm a2200541zc 4500</leader><controlfield tag="001">BV043073340</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s1998 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0585483914</subfield><subfield code="9">0-585-48391-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1280375280</subfield><subfield code="9">1-280-37528-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780585483917</subfield><subfield code="9">978-0-585-48391-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781280375286</subfield><subfield code="9">978-1-280-37528-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)53957434</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043073340</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-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3/3</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Handbook of logic in artificial intelligence and logic programming, Volume 5, Logic programming</subfield><subfield code="c">edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Logic programming</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Clarendon Press</subfield><subfield code="c">1998</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="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and indexes</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of the application of logic to artificial intelligence and logic programming. The authors are chosen on an international basis and are leaders in the fields covered. Volume 5 is the last in this well-regarded series. Logic is now widely recognized as one of the foundational disciplines of computing. It has found applications in virtually all aspects of the subject, from software and hardware engineering to programming languages and artificial intelligence. In response to the growing need for an in-depth survey of these applications the Handbook of Logic in Artificial Intelligence and its companion, the Handbook of Logic in Computer Science have been created. The Handbooks are a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying themes in the various areas. Some mathematical background is assumed, and much of the material will be of interest to logicians and mathematicians. Volume 5 focuses particularly on logic programming.; The chapters, which in many cases are of monograph length and scope, emphasize possible unifying themes</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Expert Systems</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">Logic programming</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logisch programmeren</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programacao de computadores</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Inteligencia artificial (computacao)</subfield><subfield code="2">larpcal</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">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gabbay, Dov M.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hogger, Christopher John</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Robinson, J. A.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=98458</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028497532</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=98458</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=98458</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043073340 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:16:37Z |
| institution | BVB |
| isbn | 0585483914 1280375280 9780585483917 9781280375286 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028497532 |
| oclc_num | 53957434 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Clarendon Press |
| record_format | marc |
| spelling | Handbook of logic in artificial intelligence and logic programming, Volume 5, Logic programming edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson Logic programming Oxford Clarendon Press 1998 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references and indexes The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of the application of logic to artificial intelligence and logic programming. The authors are chosen on an international basis and are leaders in the fields covered. Volume 5 is the last in this well-regarded series. Logic is now widely recognized as one of the foundational disciplines of computing. It has found applications in virtually all aspects of the subject, from software and hardware engineering to programming languages and artificial intelligence. In response to the growing need for an in-depth survey of these applications the Handbook of Logic in Artificial Intelligence and its companion, the Handbook of Logic in Computer Science have been created. The Handbooks are a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying themes in the various areas. Some mathematical background is assumed, and much of the material will be of interest to logicians and mathematicians. Volume 5 focuses particularly on logic programming.; The chapters, which in many cases are of monograph length and scope, emphasize possible unifying themes COMPUTERS / Expert Systems bisacsh Artificial intelligence fast Logic programming fast Logic, Symbolic and mathematical fast Logisch programmeren gtt Programacao de computadores larpcal Inteligencia artificial (computacao) larpcal Künstliche Intelligenz Artificial intelligence Logic, Symbolic and mathematical Gabbay, Dov M. Sonstige oth Hogger, Christopher John Sonstige oth Robinson, J. A. Sonstige oth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=98458 Aggregator Volltext |
| spellingShingle | Handbook of logic in artificial intelligence and logic programming, Volume 5, Logic programming COMPUTERS / Expert Systems bisacsh Artificial intelligence fast Logic programming fast Logic, Symbolic and mathematical fast Logisch programmeren gtt Programacao de computadores larpcal Inteligencia artificial (computacao) larpcal Künstliche Intelligenz Logic programming Artificial intelligence Logic, Symbolic and mathematical |
| title | Handbook of logic in artificial intelligence and logic programming, Volume 5, Logic programming |
| title_alt | Logic programming |
| title_auth | Handbook of logic in artificial intelligence and logic programming, Volume 5, Logic programming |
| title_exact_search | Handbook of logic in artificial intelligence and logic programming, Volume 5, Logic programming |
| title_full | Handbook of logic in artificial intelligence and logic programming, Volume 5, Logic programming edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson |
| title_fullStr | Handbook of logic in artificial intelligence and logic programming, Volume 5, Logic programming edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson |
| title_full_unstemmed | Handbook of logic in artificial intelligence and logic programming, Volume 5, Logic programming edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson |
| title_short | Handbook of logic in artificial intelligence and logic programming, Volume 5, Logic programming |
| title_sort | handbook of logic in artificial intelligence and logic programming volume 5 logic programming |
| topic | COMPUTERS / Expert Systems bisacsh Artificial intelligence fast Logic programming fast Logic, Symbolic and mathematical fast Logisch programmeren gtt Programacao de computadores larpcal Inteligencia artificial (computacao) larpcal Künstliche Intelligenz Logic programming Artificial intelligence Logic, Symbolic and mathematical |
| topic_facet | COMPUTERS / Expert Systems Artificial intelligence Logic programming Logic, Symbolic and mathematical Logisch programmeren Programacao de computadores Inteligencia artificial (computacao) Künstliche Intelligenz |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=98458 |
| work_keys_str_mv | AT gabbaydovm handbookoflogicinartificialintelligenceandlogicprogrammingvolume5logicprogramming AT hoggerchristopherjohn handbookoflogicinartificialintelligenceandlogicprogrammingvolume5logicprogramming AT robinsonja handbookoflogicinartificialintelligenceandlogicprogrammingvolume5logicprogramming AT gabbaydovm logicprogramming AT hoggerchristopherjohn logicprogramming AT robinsonja logicprogramming |