Essentials of logic programming:
Logic programming has developed into a broad discipline within computing science, contributing to such fields as artificial intelligence, new-generation computing, software engineering and deductive databases. This new book presents the fundamentals of logic programming from both practical and theor...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Oxford
Clarendon Press
1990
|
| Schriftenreihe: | Graduate texts in computer science
1 |
| Schlagworte: | |
| Zusammenfassung: | Logic programming has developed into a broad discipline within computing science, contributing to such fields as artificial intelligence, new-generation computing, software engineering and deductive databases. This new book presents the fundamentals of logic programming from both practical and theoretical viewpoints. It also covers various extensions of the formalism, its relationship to Prolog, its formal semantics and its applications to program analysis and transformation. The text is illustrated throughout with numerous diagrams. The material is organized into sixty modular themes, permitting many kinds of course to be based upon it; and it includes nearly seventy pages of detailed answers to all of the exercises. |
| Beschreibung: | XI, 299 S. |
| ISBN: | 0198538324 0198538200 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV004459189 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 910820s1990 |||| 00||| engod | ||
| 020 | |a 0198538324 |9 0-19-853832-4 | ||
| 020 | |a 0198538200 |9 0-19-853820-0 | ||
| 035 | |a (OCoLC)22209719 | ||
| 035 | |a (DE-599)BVBBV004459189 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-384 |a DE-739 |a DE-29T |a DE-11 | ||
| 050 | 0 | |a QA76.63 | |
| 082 | 0 | |a 005.1 |2 20 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 100 | 1 | |a Hogger, Christopher J. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Essentials of logic programming |c Christopher John Hogger |
| 264 | 1 | |a Oxford |b Clarendon Press |c 1990 | |
| 300 | |a XI, 299 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Graduate texts in computer science |v 1 | |
| 520 | 3 | |a Logic programming has developed into a broad discipline within computing science, contributing to such fields as artificial intelligence, new-generation computing, software engineering and deductive databases. This new book presents the fundamentals of logic programming from both practical and theoretical viewpoints. It also covers various extensions of the formalism, its relationship to Prolog, its formal semantics and its applications to program analysis and transformation. The text is illustrated throughout with numerous diagrams. The material is organized into sixty modular themes, permitting many kinds of course to be based upon it; and it includes nearly seventy pages of detailed answers to all of the exercises. | |
| 650 | 7 | |a Programmation logique |2 ram | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 4 | |a Logic programming | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Graduate texts in computer science |v 1 |w (DE-604)BV004458959 |9 1 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002764379 | ||
Datensatz im Suchindex
| _version_ | 1804118628389355520 |
|---|---|
| any_adam_object | |
| author | Hogger, Christopher J. |
| author_facet | Hogger, Christopher J. |
| author_role | aut |
| author_sort | Hogger, Christopher J. |
| author_variant | c j h cj cjh |
| building | Verbundindex |
| bvnumber | BV004459189 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.63 |
| callnumber-search | QA76.63 |
| callnumber-sort | QA 276.63 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)22209719 (DE-599)BVBBV004459189 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02061nam a2200421 cb4500</leader><controlfield tag="001">BV004459189</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">910820s1990 |||| 00||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198538324</subfield><subfield code="9">0-19-853832-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198538200</subfield><subfield code="9">0-19-853820-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22209719</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004459189</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.63</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hogger, Christopher J.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Essentials of logic programming</subfield><subfield code="c">Christopher John Hogger</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Clarendon Press</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 299 S.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Graduate texts in computer science</subfield><subfield code="v">1</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Logic programming has developed into a broad discipline within computing science, contributing to such fields as artificial intelligence, new-generation computing, software engineering and deductive databases. This new book presents the fundamentals of logic programming from both practical and theoretical viewpoints. It also covers various extensions of the formalism, its relationship to Prolog, its formal semantics and its applications to program analysis and transformation. The text is illustrated throughout with numerous diagrams. The material is organized into sixty modular themes, permitting many kinds of course to be based upon it; and it includes nearly seventy pages of detailed answers to all of the exercises.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation logique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Graduate texts in computer science</subfield><subfield code="v">1</subfield><subfield code="w">(DE-604)BV004458959</subfield><subfield code="9">1</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002764379</subfield></datafield></record></collection> |
| id | DE-604.BV004459189 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:13:19Z |
| institution | BVB |
| isbn | 0198538324 0198538200 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002764379 |
| oclc_num | 22209719 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-384 DE-739 DE-29T DE-11 |
| owner_facet | DE-91 DE-BY-TUM DE-384 DE-739 DE-29T DE-11 |
| physical | XI, 299 S. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Clarendon Press |
| record_format | marc |
| series | Graduate texts in computer science |
| series2 | Graduate texts in computer science |
| spelling | Hogger, Christopher J. Verfasser aut Essentials of logic programming Christopher John Hogger Oxford Clarendon Press 1990 XI, 299 S. txt rdacontent n rdamedia nc rdacarrier Graduate texts in computer science 1 Logic programming has developed into a broad discipline within computing science, contributing to such fields as artificial intelligence, new-generation computing, software engineering and deductive databases. This new book presents the fundamentals of logic programming from both practical and theoretical viewpoints. It also covers various extensions of the formalism, its relationship to Prolog, its formal semantics and its applications to program analysis and transformation. The text is illustrated throughout with numerous diagrams. The material is organized into sixty modular themes, permitting many kinds of course to be based upon it; and it includes nearly seventy pages of detailed answers to all of the exercises. Programmation logique ram programmation en logique inriac Logic programming Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 s DE-604 Graduate texts in computer science 1 (DE-604)BV004458959 1 |
| spellingShingle | Hogger, Christopher J. Essentials of logic programming Graduate texts in computer science Programmation logique ram programmation en logique inriac Logic programming Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4195096-3 |
| title | Essentials of logic programming |
| title_auth | Essentials of logic programming |
| title_exact_search | Essentials of logic programming |
| title_full | Essentials of logic programming Christopher John Hogger |
| title_fullStr | Essentials of logic programming Christopher John Hogger |
| title_full_unstemmed | Essentials of logic programming Christopher John Hogger |
| title_short | Essentials of logic programming |
| title_sort | essentials of logic programming |
| topic | Programmation logique ram programmation en logique inriac Logic programming Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Programmation logique programmation en logique Logic programming Logische Programmierung |
| volume_link | (DE-604)BV004458959 |
| work_keys_str_mv | AT hoggerchristopherj essentialsoflogicprogramming |