The craft of Prolog:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Cambridge, Mass. u.a.
MIT Pr.
1990
|
Schriftenreihe: | Logic programming
|
Schlagworte: | |
Beschreibung: | XIX, 387 S. |
ISBN: | 0262150395 9780262512275 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV004252774 | ||
003 | DE-604 | ||
005 | 20121219 | ||
007 | t | ||
008 | 910228s1990 |||| 00||| eng d | ||
020 | |a 0262150395 |9 0-262-15039-5 | ||
020 | |a 9780262512275 |9 978-0-262-51227-5 | ||
035 | |a (OCoLC)21152424 | ||
035 | |a (DE-599)BVBBV004252774 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-91G |a DE-739 |a DE-29T |a DE-473 |a DE-19 |a DE-355 |a DE-83 |a DE-11 |a DE-188 |a DE-20 | ||
050 | 0 | |a QA76.73.P76 | |
082 | 0 | |a 005.13/3 |2 20 | |
084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
084 | |a DAT 366f |2 stub | ||
100 | 1 | |a O'Keefe, Richard A. |e Verfasser |4 aut | |
245 | 1 | 0 | |a The craft of Prolog |c Richard A. O'Keefe |
264 | 1 | |a Cambridge, Mass. u.a. |b MIT Pr. |c 1990 | |
300 | |a XIX, 387 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 0 | |a Logic programming | |
650 | 7 | |a NU PROLOG |2 inriac | |
650 | 7 | |a PROLOG |2 gtt | |
650 | 7 | |a PROLOG |2 inriac | |
650 | 7 | |a Programmation logique |2 ram | |
650 | 4 | |a Prolog (Langage de programmation) | |
650 | 7 | |a Prolog (langage de programmation) |2 ram | |
650 | 7 | |a programmation PROLOG |2 inriac | |
650 | 7 | |a programmation en logique |2 inriac | |
650 | 4 | |a Prolog (Computer program language) | |
650 | 0 | 7 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |D s |
689 | 0 | |5 DE-604 | |
999 | |a oai:aleph.bib-bvb.de:BVB01-002645495 |
Datensatz im Suchindex
_version_ | 1804118448925573120 |
---|---|
any_adam_object | |
author | O'Keefe, Richard A. |
author_facet | O'Keefe, Richard A. |
author_role | aut |
author_sort | O'Keefe, Richard A. |
author_variant | r a o ra rao |
building | Verbundindex |
bvnumber | BV004252774 |
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 |
ctrlnum | (OCoLC)21152424 (DE-599)BVBBV004252774 |
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>01529nam a2200469 c 4500</leader><controlfield tag="001">BV004252774</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20121219 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">910228s1990 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262150395</subfield><subfield code="9">0-262-15039-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262512275</subfield><subfield code="9">978-0-262-51227-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)21152424</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004252774</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-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-20</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">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 366f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">O'Keefe, Richard A.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The craft of Prolog</subfield><subfield code="c">Richard A. O'Keefe</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. u.a.</subfield><subfield code="b">MIT Pr.</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIX, 387 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">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">NU PROLOG</subfield><subfield code="2">inriac</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="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">programmation 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="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="689" ind1="0" ind2="0"><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-002645495</subfield></datafield></record></collection> |
id | DE-604.BV004252774 |
illustrated | Not Illustrated |
indexdate | 2024-07-09T16:10:28Z |
institution | BVB |
isbn | 0262150395 9780262512275 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002645495 |
oclc_num | 21152424 |
open_access_boolean | |
owner | DE-91G DE-BY-TUM DE-739 DE-29T DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-83 DE-11 DE-188 DE-20 |
owner_facet | DE-91G DE-BY-TUM DE-739 DE-29T DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-83 DE-11 DE-188 DE-20 |
physical | XIX, 387 S. |
publishDate | 1990 |
publishDateSearch | 1990 |
publishDateSort | 1990 |
publisher | MIT Pr. |
record_format | marc |
series2 | Logic programming |
spelling | O'Keefe, Richard A. Verfasser aut The craft of Prolog Richard A. O'Keefe Cambridge, Mass. u.a. MIT Pr. 1990 XIX, 387 S. txt rdacontent n rdamedia nc rdacarrier Logic programming NU PROLOG inriac PROLOG gtt PROLOG inriac Programmation logique ram Prolog (Langage de programmation) Prolog (langage de programmation) ram programmation PROLOG inriac programmation en logique inriac Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd rswk-swf PROLOG Programmiersprache (DE-588)4047464-1 s DE-604 |
spellingShingle | O'Keefe, Richard A. The craft of Prolog NU PROLOG inriac PROLOG gtt PROLOG inriac Programmation logique ram Prolog (Langage de programmation) Prolog (langage de programmation) ram programmation PROLOG inriac programmation en logique inriac Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd |
subject_GND | (DE-588)4047464-1 |
title | The craft of Prolog |
title_auth | The craft of Prolog |
title_exact_search | The craft of Prolog |
title_full | The craft of Prolog Richard A. O'Keefe |
title_fullStr | The craft of Prolog Richard A. O'Keefe |
title_full_unstemmed | The craft of Prolog Richard A. O'Keefe |
title_short | The craft of Prolog |
title_sort | the craft of prolog |
topic | NU PROLOG inriac PROLOG gtt PROLOG inriac Programmation logique ram Prolog (Langage de programmation) Prolog (langage de programmation) ram programmation PROLOG inriac programmation en logique inriac Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd |
topic_facet | NU PROLOG PROLOG Programmation logique Prolog (Langage de programmation) Prolog (langage de programmation) programmation PROLOG programmation en logique Prolog (Computer program language) PROLOG Programmiersprache |
work_keys_str_mv | AT okeefericharda thecraftofprolog |