An introduction to logic programming through Prolog:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
London [u.a.]
Prentice Hall
1996
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Prentice Hall international series in computer science
|
| Schlagworte: | |
| Beschreibung: | X, 251 S. |
| ISBN: | 0135360471 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010933346 | ||
| 003 | DE-604 | ||
| 005 | 20220317 | ||
| 007 | t | ||
| 008 | 960905s1996 |||| 00||| eng d | ||
| 020 | |a 0135360471 |9 0-13-536047-1 | ||
| 035 | |a (OCoLC)33948150 | ||
| 035 | |a (DE-599)BVBBV010933346 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-188 |a DE-11 | ||
| 050 | 0 | |a QA76.63 | |
| 082 | 0 | |a 005.13/3 |2 20 | |
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 366f |2 stub | ||
| 100 | 1 | |a Spivey, J. M. |d 1960- |e Verfasser |0 (DE-588)1145600549 |4 aut | |
| 245 | 1 | 0 | |a An introduction to logic programming through Prolog |c Michael Spivey |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a London [u.a.] |b Prentice Hall |c 1996 | |
| 300 | |a X, 251 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Prentice Hall international series in computer science | |
| 650 | 7 | |a Logisch programmeren |2 gtt | |
| 650 | 7 | |a PROLOG |2 gtt | |
| 650 | 7 | |a PROLOG |2 inriac | |
| 650 | 7 | |a Programmation logique |2 ram | |
| 650 | 7 | |a Prolog (langage de programmation) |2 ram | |
| 650 | 7 | |a installation PROLOG |2 inriac | |
| 650 | 7 | |a interpréteur PROLOG |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a sémantique |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 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007312933 | ||
Datensatz im Suchindex
| _version_ | 1804125422288371712 |
|---|---|
| any_adam_object | |
| author | Spivey, J. M. 1960- |
| author_GND | (DE-588)1145600549 |
| author_facet | Spivey, J. M. 1960- |
| author_role | aut |
| author_sort | Spivey, J. M. 1960- |
| author_variant | j m s jm jms |
| building | Verbundindex |
| bvnumber | BV010933346 |
| 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 250 |
| classification_tum | DAT 706f DAT 366f |
| ctrlnum | (OCoLC)33948150 (DE-599)BVBBV010933346 |
| 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 |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01768nam a2200529 c 4500</leader><controlfield tag="001">BV010933346</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220317 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960905s1996 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0135360471</subfield><subfield code="9">0-13-536047-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)33948150</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010933346</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-188</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.13/3</subfield><subfield code="2">20</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 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 366f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Spivey, J. M.</subfield><subfield code="d">1960-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1145600549</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">An introduction to logic programming through Prolog</subfield><subfield code="c">Michael Spivey</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">Prentice Hall</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 251 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="0" ind2=" "><subfield code="a">Prentice Hall international series in computer science</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">PROLOG</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PROLOG</subfield><subfield code="2">inriac</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">Prolog (langage de programmation)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">installation PROLOG</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">interpréteur PROLOG</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="7"><subfield code="a">sémantique</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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007312933</subfield></datafield></record></collection> |
| id | DE-604.BV010933346 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:18Z |
| institution | BVB |
| isbn | 0135360471 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007312933 |
| oclc_num | 33948150 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-188 DE-11 |
| owner_facet | DE-91 DE-BY-TUM DE-188 DE-11 |
| physical | X, 251 S. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Prentice Hall |
| record_format | marc |
| series2 | Prentice Hall international series in computer science |
| spelling | Spivey, J. M. 1960- Verfasser (DE-588)1145600549 aut An introduction to logic programming through Prolog Michael Spivey 1. publ. London [u.a.] Prentice Hall 1996 X, 251 S. txt rdacontent n rdamedia nc rdacarrier Prentice Hall international series in computer science Logisch programmeren gtt PROLOG gtt PROLOG inriac Programmation logique ram Prolog (langage de programmation) ram installation PROLOG inriac interpréteur PROLOG inriac programmation en logique inriac sémantique 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 |
| spellingShingle | Spivey, J. M. 1960- An introduction to logic programming through Prolog Logisch programmeren gtt PROLOG gtt PROLOG inriac Programmation logique ram Prolog (langage de programmation) ram installation PROLOG inriac interpréteur PROLOG inriac programmation en logique inriac sémantique 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 | An introduction to logic programming through Prolog |
| title_auth | An introduction to logic programming through Prolog |
| title_exact_search | An introduction to logic programming through Prolog |
| title_full | An introduction to logic programming through Prolog Michael Spivey |
| title_fullStr | An introduction to logic programming through Prolog Michael Spivey |
| title_full_unstemmed | An introduction to logic programming through Prolog Michael Spivey |
| title_short | An introduction to logic programming through Prolog |
| title_sort | an introduction to logic programming through prolog |
| topic | Logisch programmeren gtt PROLOG gtt PROLOG inriac Programmation logique ram Prolog (langage de programmation) ram installation PROLOG inriac interpréteur PROLOG inriac programmation en logique inriac sémantique inriac Logic programming Prolog (Computer program language) Logische Programmierung (DE-588)4195096-3 gnd PROLOG Programmiersprache (DE-588)4047464-1 gnd |
| topic_facet | Logisch programmeren PROLOG Programmation logique Prolog (langage de programmation) installation PROLOG interpréteur PROLOG programmation en logique sémantique Logic programming Prolog (Computer program language) Logische Programmierung PROLOG Programmiersprache |
| work_keys_str_mv | AT spiveyjm anintroductiontologicprogrammingthroughprolog |