Computing with Logic: Logic programming with Prolog
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Menlo Park, Calif.
Benjamin/Cummings
1988
|
| Schlagwörter: | |
| Beschreibung: | Literaturangaben |
| Umfang: | 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 xx 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 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-001399548 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 366f 2001 A 24226 |
|---|---|
| DE-BY-TUM_katkey | 281363 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010416341 040020068373 |
| _version_ | 1821936973048184833 |
| 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>01790nam 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 xx 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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001399548</subfield></datafield></record></collection> |
| id | DE-604.BV002134223 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T07:46:32Z |
| 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 |
| 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 |
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik
| Signatur: |
0102 DAT 366f 2001 A 24226 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |
| Exemplar 2 | Ausleihbar Am Standort |