Computing with Logic: Logic programming with Prolog
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Menlo Park, Calif.
Benjamin/Cummings
1988
|
| Schlagworte: | |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XXI, 535 S. graph. Darst. |
| ISBN: | 0805366814 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002134223 | ||
| 003 | DE-604 | ||
| 005 | 20180727 | ||
| 007 | t | ||
| 008 | 890928s1988 d||| |||| 00||| eng d | ||
| 020 | |a 0805366814 |9 0-8053-6681-4 | ||
| 035 | |a (OCoLC)16526376 | ||
| 035 | |a (DE-599)BVBBV002134223 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-473 |a DE-739 |a DE-20 |a DE-29T |a DE-19 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.73.P76 | |
| 082 | 0 | |a 005.13/3 |2 19 | |
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 084 | |a DAT 366f |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 100 | 1 | |a Maier, David |d 1953- |e Verfasser |0 (DE-588)1163468940 |4 aut | |
| 245 | 1 | 0 | |a Computing with Logic |b Logic programming with Prolog |c David Maier ; David S. Warren |
| 264 | 1 | |a Menlo Park, Calif. |b Benjamin/Cummings |c 1988 | |
| 300 | |a XXI, 535 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 650 | 7 | |a DATALOG |2 inriac | |
| 650 | 7 | |a PROPLOG |2 inriac | |
| 650 | 4 | |a Programmation logique | |
| 650 | 4 | |a Prolog (Langage de programmation) | |
| 650 | 7 | |a Prolog (langage de programmation) |2 ram | |
| 650 | 7 | |a calcul prédicat |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Prolog (Computer program language) | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | 1 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Warren, David S. |e Verfasser |4 aut | |
| 940 | 1 | |q TUB-nvmb | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001399548 | ||
Datensatz im Suchindex
| _version_ | 1804116588209635328 |
|---|---|
| any_adam_object | |
| author | Maier, David 1953- Warren, David S. |
| author_GND | (DE-588)1163468940 |
| author_facet | Maier, David 1953- Warren, David S. |
| author_role | aut aut |
| author_sort | Maier, David 1953- |
| author_variant | d m dm d s w ds dsw |
| building | Verbundindex |
| bvnumber | BV002134223 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.73.P76 |
| callnumber-search | QA76.73.P76 |
| callnumber-sort | QA 276.73 P76 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 250 |
| classification_tum | DAT 366f DAT 706f |
| ctrlnum | (OCoLC)16526376 (DE-599)BVBBV002134223 |
| dewey-full | 005.13/3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/3 |
| dewey-search | 005.13/3 |
| dewey-sort | 15.13 13 |
| 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>01789nam a2200517 c 4500</leader><controlfield tag="001">BV002134223</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180727 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1988 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0805366814</subfield><subfield code="9">0-8053-6681-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)16526376</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002134223</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-91G</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.73.P76</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/3</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 366f</subfield><subfield code="2">stub</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">Maier, David</subfield><subfield code="d">1953-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1163468940</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computing with Logic</subfield><subfield code="b">Logic programming with Prolog</subfield><subfield code="c">David Maier ; David S. Warren</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Menlo Park, Calif.</subfield><subfield code="b">Benjamin/Cummings</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXI, 535 S.</subfield><subfield code="b">graph. Darst.</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="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">DATALOG</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PROPLOG</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation logique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Prolog (Langage de programmation)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Prolog (langage de programmation)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul prédicat</subfield><subfield code="2">inriac</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=" " ind2="4"><subfield code="a">Prolog (Computer program language)</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="650" ind1="0" ind2="7"><subfield code="a">PROLOG</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4047464-1</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="1"><subfield code="a">PROLOG</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4047464-1</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">Warren, David S.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-nvmb</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001399548</subfield></datafield></record></collection> |
| id | DE-604.BV002134223 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:40:53Z |
| institution | BVB |
| isbn | 0805366814 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001399548 |
| oclc_num | 16526376 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-739 DE-20 DE-29T DE-19 DE-BY-UBM DE-83 DE-11 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-739 DE-20 DE-29T DE-19 DE-BY-UBM DE-83 DE-11 DE-188 |
| physical | XXI, 535 S. graph. Darst. |
| psigel | TUB-nvmb |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| publisher | Benjamin/Cummings |
| record_format | marc |
| spelling | Maier, David 1953- Verfasser (DE-588)1163468940 aut Computing with Logic Logic programming with Prolog David Maier ; David S. Warren Menlo Park, Calif. Benjamin/Cummings 1988 XXI, 535 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturangaben DATALOG inriac PROPLOG inriac Programmation logique Prolog (Langage de programmation) Prolog (langage de programmation) ram calcul prédicat inriac programmation en logique inriac Logic programming Prolog (Computer program language) Logische Programmierung (DE-588)4195096-3 gnd rswk-swf PROLOG Programmiersprache (DE-588)4047464-1 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 s PROLOG Programmiersprache (DE-588)4047464-1 s DE-604 Warren, David S. Verfasser aut |
| spellingShingle | Maier, David 1953- Warren, David S. Computing with Logic Logic programming with Prolog DATALOG inriac PROPLOG inriac Programmation logique Prolog (Langage de programmation) Prolog (langage de programmation) ram calcul prédicat inriac programmation en logique inriac Logic programming Prolog (Computer program language) Logische Programmierung (DE-588)4195096-3 gnd PROLOG Programmiersprache (DE-588)4047464-1 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)4047464-1 |
| title | Computing with Logic Logic programming with Prolog |
| title_auth | Computing with Logic Logic programming with Prolog |
| title_exact_search | Computing with Logic Logic programming with Prolog |
| title_full | Computing with Logic Logic programming with Prolog David Maier ; David S. Warren |
| title_fullStr | Computing with Logic Logic programming with Prolog David Maier ; David S. Warren |
| title_full_unstemmed | Computing with Logic Logic programming with Prolog David Maier ; David S. Warren |
| title_short | Computing with Logic |
| title_sort | computing with logic logic programming with prolog |
| title_sub | Logic programming with Prolog |
| topic | DATALOG inriac PROPLOG inriac Programmation logique Prolog (Langage de programmation) Prolog (langage de programmation) ram calcul prédicat inriac programmation en logique inriac Logic programming Prolog (Computer program language) Logische Programmierung (DE-588)4195096-3 gnd PROLOG Programmiersprache (DE-588)4047464-1 gnd |
| topic_facet | DATALOG PROPLOG Programmation logique Prolog (Langage de programmation) Prolog (langage de programmation) calcul prédicat programmation en logique Logic programming Prolog (Computer program language) Logische Programmierung PROLOG Programmiersprache |
| work_keys_str_mv | AT maierdavid computingwithlogiclogicprogrammingwithprolog AT warrendavids computingwithlogiclogicprogrammingwithprolog |