Handbook of logic in artificial intelligence and logic programming.: Volume 5, Logic programming /
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...
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Oxford : Oxford ; New York :
Clarendon Press ; Oxford University Press,
1998.
|
| Schriftenreihe: | Oxford science publications.
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | 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 resource |
| Bibliographie: | Includes bibliographical references and indexes. |
| ISBN: | 0585483914 9780585483917 1280375280 9781280375286 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocm53957434 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 031229s1998 enk ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d YDXCP |d OCLCG |d OCLCQ |d IDEBK |d OCLCF |d NLGGC |d OCLCO |d OCLCQ |d VTS |d REC |d AGLDB |d STF |d G3B |d OCLCO |d OCLCQ |d YDX |d OCLCO |d OCLCL | ||
| 019 | |a 814379021 |a 824546058 |a 906545064 | ||
| 020 | |a 0585483914 |q (electronic bk.) | ||
| 020 | |a 9780585483917 |q (electronic bk.) | ||
| 020 | |a 1280375280 | ||
| 020 | |a 9781280375286 | ||
| 020 | |z 019853745X | ||
| 020 | |z 9780198537458 | ||
| 020 | |z 0198537468 | ||
| 020 | |z 9780198537465 | ||
| 020 | |z 0198537476 | ||
| 020 | |z 9780198537472 | ||
| 020 | |z 0198537913 | ||
| 020 | |z 9780198537915 | ||
| 020 | |z 0198537921 | ||
| 020 | |z 9780198537922 | ||
| 035 | |a (OCoLC)53957434 |z (OCoLC)814379021 |z (OCoLC)824546058 |z (OCoLC)906545064 | ||
| 050 | 4 | |a QA76.63 |b .H36 1998eb | |
| 072 | 7 | |a COM |x 025000 |2 bisacsh | |
| 072 | 7 | |a PBCD |2 bicssc | |
| 082 | 7 | |a 006.3/3 |2 22 | |
| 049 | |a MAIN | ||
| 245 | 0 | 0 | |a Handbook of logic in artificial intelligence and logic programming. |n Volume 5, |p Logic programming / |c edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson. |
| 246 | 3 | 0 | |a Logic programming |
| 260 | |a Oxford : |b Clarendon Press ; |a Oxford ; |a New York : |b Oxford University Press, |c 1998. | ||
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Oxford science publications. | |
| 504 | |a Includes bibliographical references and indexes. | ||
| 520 | |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 | 0 | |a Logic programming. |0 http://id.loc.gov/authorities/subjects/sh86003454 | |
| 650 | 0 | |a Artificial intelligence. |0 http://id.loc.gov/authorities/subjects/sh85008180 | |
| 650 | 0 | |a Logic, Symbolic and mathematical. |0 http://id.loc.gov/authorities/subjects/sh85078115 | |
| 650 | 2 | |a Artificial Intelligence |0 https://id.nlm.nih.gov/mesh/D001185 | |
| 650 | 6 | |a Programmation logique. | |
| 650 | 6 | |a Intelligence artificielle. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 7 | |a artificial intelligence. |2 aat | |
| 650 | 7 | |a COMPUTERS |x 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 | 1 | 7 | |a Logisch programmeren. |2 gtt |
| 650 | 7 | |a Programacao de computadores. |2 larpcal | |
| 650 | 7 | |a Inteligencia artificial (computacao) |2 larpcal | |
| 655 | 7 | |a Handboeken (vorm) |0 (NL-LeOCL)088143252 |2 gtt | |
| 700 | 1 | |a Gabbay, Dov M., |d 1945- |0 http://id.loc.gov/authorities/names/n80153278 | |
| 700 | 1 | |a Hogger, Christopher John. | |
| 700 | 1 | |a Robinson, J. A. |q (John Alan) |0 http://id.loc.gov/authorities/names/n79050611 | |
| 758 | |i has work: |a Handbook of logic in artificial intelligence and logic programming Volume 5 Logic programming (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGQVqPF39w4fpBtdGKPXJP |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |t Handbook of logic in artificial intelligence and logic programming. Volume 5, Logic programming. |d Oxford : Clarendon Press ; Oxford ; New York : Oxford University Press, 1998 |z 019853745X |z 9780198537458 |w (DLC) 92023358 |w (OCoLC)26300491 |
| 830 | 0 | |a Oxford science publications. |0 http://id.loc.gov/authorities/names/n42027424 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=98458 |3 Volltext |
| 938 | |a YBP Library Services |b YANK |n 20427206 | ||
| 938 | |a EBSCOhost |b EBSC |n 98458 | ||
| 938 | |a YBP Library Services |b YANK |n 2336216 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocm53957434 |
|---|---|
| _version_ | 1816881613043138560 |
| adam_text | |
| any_adam_object | |
| author2 | Gabbay, Dov M., 1945- Hogger, Christopher John Robinson, J. A. (John Alan) |
| author2_role | |
| author2_variant | d m g dm dmg c j h cj cjh j a r ja jar |
| author_GND | http://id.loc.gov/authorities/names/n80153278 http://id.loc.gov/authorities/names/n79050611 |
| author_facet | Gabbay, Dov M., 1945- Hogger, Christopher John Robinson, J. A. (John Alan) |
| author_sort | Gabbay, Dov M., 1945- |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.63 .H36 1998eb |
| callnumber-search | QA76.63 .H36 1998eb |
| callnumber-sort | QA 276.63 H36 41998EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)53957434 |
| 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>04943cam a2200805 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocm53957434 </controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">031229s1998 enk ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCF</subfield><subfield code="d">NLGGC</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">REC</subfield><subfield code="d">AGLDB</subfield><subfield code="d">STF</subfield><subfield code="d">G3B</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">YDX</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">814379021</subfield><subfield code="a">824546058</subfield><subfield code="a">906545064</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0585483914</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780585483917</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1280375280</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781280375286</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">019853745X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780198537458</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0198537468</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780198537465</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0198537476</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780198537472</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0198537913</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780198537915</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0198537921</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780198537922</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)53957434</subfield><subfield code="z">(OCoLC)814379021</subfield><subfield code="z">(OCoLC)824546058</subfield><subfield code="z">(OCoLC)906545064</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.63</subfield><subfield code="b">.H36 1998eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">025000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PBCD</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">006.3/3</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Handbook of logic in artificial intelligence and logic programming.</subfield><subfield code="n">Volume 5,</subfield><subfield code="p">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="3" ind2="0"><subfield code="a">Logic programming</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Oxford :</subfield><subfield code="b">Clarendon Press ;</subfield><subfield code="a">Oxford ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Oxford University Press,</subfield><subfield code="c">1998.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Oxford science publications.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and indexes.</subfield></datafield><datafield tag="520" 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="0"><subfield code="a">Logic programming.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh86003454</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Artificial intelligence.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85008180</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85078115</subfield></datafield><datafield tag="650" ind1=" " ind2="2"><subfield code="a">Artificial Intelligence</subfield><subfield code="0">https://id.nlm.nih.gov/mesh/D001185</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Programmation logique.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Intelligence artificielle.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">artificial intelligence.</subfield><subfield code="2">aat</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">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="1" 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="655" ind1=" " ind2="7"><subfield code="a">Handboeken (vorm)</subfield><subfield code="0">(NL-LeOCL)088143252</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gabbay, Dov M.,</subfield><subfield code="d">1945-</subfield><subfield code="0">http://id.loc.gov/authorities/names/n80153278</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hogger, Christopher John.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Robinson, J. A.</subfield><subfield code="q">(John Alan)</subfield><subfield code="0">http://id.loc.gov/authorities/names/n79050611</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Handbook of logic in artificial intelligence and logic programming Volume 5 Logic programming (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGQVqPF39w4fpBtdGKPXJP</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Handbook of logic in artificial intelligence and logic programming. Volume 5, Logic programming.</subfield><subfield code="d">Oxford : Clarendon Press ; Oxford ; New York : Oxford University Press, 1998</subfield><subfield code="z">019853745X</subfield><subfield code="z">9780198537458</subfield><subfield code="w">(DLC) 92023358</subfield><subfield code="w">(OCoLC)26300491</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Oxford science publications.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n42027424</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=98458</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">20427206</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">98458</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2336216</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Handboeken (vorm) (NL-LeOCL)088143252 gtt |
| genre_facet | Handboeken (vorm) |
| id | ZDB-4-EBA-ocm53957434 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-27T13:15:30Z |
| institution | BVB |
| isbn | 0585483914 9780585483917 1280375280 9781280375286 |
| language | English |
| oclc_num | 53957434 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource |
| psigel | ZDB-4-EBA |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Clarendon Press ; Oxford University Press, |
| record_format | marc |
| series | Oxford science publications. |
| series2 | Oxford science publications. |
| 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 ; Oxford ; New York : Oxford University Press, 1998. 1 online resource text txt rdacontent computer c rdamedia online resource cr rdacarrier Oxford science publications. 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. Logic programming. http://id.loc.gov/authorities/subjects/sh86003454 Artificial intelligence. http://id.loc.gov/authorities/subjects/sh85008180 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Artificial Intelligence https://id.nlm.nih.gov/mesh/D001185 Programmation logique. Intelligence artificielle. Logique symbolique et mathématique. artificial intelligence. aat 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 Handboeken (vorm) (NL-LeOCL)088143252 gtt Gabbay, Dov M., 1945- http://id.loc.gov/authorities/names/n80153278 Hogger, Christopher John. Robinson, J. A. (John Alan) http://id.loc.gov/authorities/names/n79050611 has work: Handbook of logic in artificial intelligence and logic programming Volume 5 Logic programming (Text) https://id.oclc.org/worldcat/entity/E39PCGQVqPF39w4fpBtdGKPXJP https://id.oclc.org/worldcat/ontology/hasWork Print version: Handbook of logic in artificial intelligence and logic programming. Volume 5, Logic programming. Oxford : Clarendon Press ; Oxford ; New York : Oxford University Press, 1998 019853745X 9780198537458 (DLC) 92023358 (OCoLC)26300491 Oxford science publications. http://id.loc.gov/authorities/names/n42027424 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=98458 Volltext |
| spellingShingle | Handbook of logic in artificial intelligence and logic programming. Oxford science publications. Logic programming. http://id.loc.gov/authorities/subjects/sh86003454 Artificial intelligence. http://id.loc.gov/authorities/subjects/sh85008180 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Artificial Intelligence https://id.nlm.nih.gov/mesh/D001185 Programmation logique. Intelligence artificielle. Logique symbolique et mathématique. artificial intelligence. aat 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 |
| subject_GND | http://id.loc.gov/authorities/subjects/sh86003454 http://id.loc.gov/authorities/subjects/sh85008180 http://id.loc.gov/authorities/subjects/sh85078115 https://id.nlm.nih.gov/mesh/D001185 (NL-LeOCL)088143252 |
| title | Handbook of logic in artificial intelligence and logic programming. |
| title_alt | Logic programming |
| title_auth | Handbook of logic in artificial intelligence and logic programming. |
| title_exact_search | Handbook of logic in artificial intelligence and 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. |
| title_sort | handbook of logic in artificial intelligence and logic programming logic programming |
| topic | Logic programming. http://id.loc.gov/authorities/subjects/sh86003454 Artificial intelligence. http://id.loc.gov/authorities/subjects/sh85008180 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Artificial Intelligence https://id.nlm.nih.gov/mesh/D001185 Programmation logique. Intelligence artificielle. Logique symbolique et mathématique. artificial intelligence. aat 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 |
| topic_facet | Logic programming. Artificial intelligence. Logic, Symbolic and mathematical. Artificial Intelligence Programmation logique. Intelligence artificielle. Logique symbolique et mathématique. artificial intelligence. COMPUTERS Expert Systems. Artificial intelligence Logic programming Logic, Symbolic and mathematical Logisch programmeren. Programacao de computadores. Inteligencia artificial (computacao) Handboeken (vorm) |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=98458 |
| work_keys_str_mv | AT gabbaydovm handbookoflogicinartificialintelligenceandlogicprogrammingvolume5 AT hoggerchristopherjohn handbookoflogicinartificialintelligenceandlogicprogrammingvolume5 AT robinsonja handbookoflogicinartificialintelligenceandlogicprogrammingvolume5 AT gabbaydovm logicprogramming AT hoggerchristopherjohn logicprogramming AT robinsonja logicprogramming |