Logic with Prolog:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Oxford [u.a.]
Clarendon Press
1988
|
| Schriftenreihe: | Oxford applied mathematics and computing science series
|
| Schlagworte: | |
| Beschreibung: | XIV, 321 S. graph. Darst. |
| ISBN: | 0198596715 0198596596 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004145326 | ||
| 003 | DE-604 | ||
| 005 | 20221004 | ||
| 007 | t | ||
| 008 | 901116s1988 d||| |||| 00||| ger d | ||
| 020 | |a 0198596715 |9 0-19-859671-5 | ||
| 020 | |a 0198596596 |9 0-19-859659-6 | ||
| 035 | |a (OCoLC)18350306 | ||
| 035 | |a (DE-599)BVBBV004145326 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-210 |a DE-706 |a DE-83 |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 MAT 030f |2 stub | ||
| 084 | |a 68F20 |2 msc | ||
| 084 | |a DAT 366f |2 stub | ||
| 084 | |a 68B05 |2 msc | ||
| 100 | 1 | |a Gibbins, Peter |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic with Prolog |c Peter Gibbins |
| 264 | 1 | |a Oxford [u.a.] |b Clarendon Press |c 1988 | |
| 300 | |a XIV, 321 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Oxford applied mathematics and computing science series | |
| 650 | 7 | |a PROLOG |2 inriac | |
| 650 | 7 | |a Prolog (langage de programmation) |2 ram | |
| 650 | 7 | |a calcul propositionnel |2 inriac | |
| 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 PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |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-002586515 | ||
Datensatz im Suchindex
| _version_ | 1804118359892033536 |
|---|---|
| any_adam_object | |
| author | Gibbins, Peter |
| author_facet | Gibbins, Peter |
| author_role | aut |
| author_sort | Gibbins, Peter |
| author_variant | p g pg |
| building | Verbundindex |
| bvnumber | BV004145326 |
| 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 | MAT 030f DAT 366f |
| ctrlnum | (OCoLC)18350306 (DE-599)BVBBV004145326 |
| 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 Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01654nam a2200505 c 4500</leader><controlfield tag="001">BV004145326</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20221004 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">901116s1988 d||| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198596715</subfield><subfield code="9">0-19-859671-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198596596</subfield><subfield code="9">0-19-859659-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)18350306</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004145326</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</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">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68F20</subfield><subfield code="2">msc</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">68B05</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gibbins, Peter</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic with Prolog</subfield><subfield code="c">Peter Gibbins</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford [u.a.]</subfield><subfield code="b">Clarendon Press</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 321 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="490" ind1="0" ind2=" "><subfield code="a">Oxford applied mathematics and computing science series</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">Prolog (langage de programmation)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul propositionnel</subfield><subfield code="2">inriac</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">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="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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-002586515</subfield></datafield></record></collection> |
| id | DE-604.BV004145326 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:09:03Z |
| institution | BVB |
| isbn | 0198596715 0198596596 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002586515 |
| oclc_num | 18350306 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-210 DE-706 DE-83 DE-188 |
| owner_facet | DE-91 DE-BY-TUM DE-210 DE-706 DE-83 DE-188 |
| physical | XIV, 321 S. graph. Darst. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| publisher | Clarendon Press |
| record_format | marc |
| series2 | Oxford applied mathematics and computing science series |
| spelling | Gibbins, Peter Verfasser aut Logic with Prolog Peter Gibbins Oxford [u.a.] Clarendon Press 1988 XIV, 321 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Oxford applied mathematics and computing science series PROLOG inriac Prolog (langage de programmation) ram calcul propositionnel inriac calcul prédicat inriac programmation en logique inriac Logic programming Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s PROLOG Programmiersprache (DE-588)4047464-1 s DE-604 |
| spellingShingle | Gibbins, Peter Logic with Prolog PROLOG inriac Prolog (langage de programmation) ram calcul propositionnel inriac calcul prédicat inriac programmation en logique inriac Logic programming Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4047464-1 (DE-588)4037951-6 |
| title | Logic with Prolog |
| title_auth | Logic with Prolog |
| title_exact_search | Logic with Prolog |
| title_full | Logic with Prolog Peter Gibbins |
| title_fullStr | Logic with Prolog Peter Gibbins |
| title_full_unstemmed | Logic with Prolog Peter Gibbins |
| title_short | Logic with Prolog |
| title_sort | logic with prolog |
| topic | PROLOG inriac Prolog (langage de programmation) ram calcul propositionnel inriac calcul prédicat inriac programmation en logique inriac Logic programming Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | PROLOG Prolog (langage de programmation) calcul propositionnel calcul prédicat programmation en logique Logic programming Prolog (Computer program language) PROLOG Programmiersprache Mathematische Logik |
| work_keys_str_mv | AT gibbinspeter logicwithprolog |