The Gödel programming language:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Mass. u.a.
MIT Press
1994
|
| Series: | Logic programming
|
| Subjects: | |
| Physical Description: | XX, 348 S. |
| ISBN: | 0262082292 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009898227 | ||
| 003 | DE-604 | ||
| 005 | 20050427 | ||
| 007 | t | ||
| 008 | 941114s1994 |||| 00||| eng d | ||
| 020 | |a 0262082292 |9 0-262-08229-2 | ||
| 035 | |a (OCoLC)831869419 | ||
| 035 | |a (DE-599)BVBBV009898227 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G |a DE-29T |a DE-210 |a DE-188 |a DE-11 | ||
| 050 | 0 | |a QA76.73.G17 | |
| 082 | 0 | |a 005.13/3 |2 20 | |
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 362f |2 stub | ||
| 100 | 1 | |a Hill, Patricia |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The Gödel programming language |c Patricia Hill ; John Lloyd |
| 264 | 1 | |a Cambridge, Mass. u.a. |b MIT Press |c 1994 | |
| 300 | |a XX, 348 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Logic programming | |
| 650 | 7 | |a Gödel |2 inriap | |
| 650 | 7 | |a Langages de programmation |2 ram | |
| 650 | 7 | |a Programmation logique |2 ram | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a programmation relationnelle |2 inriac | |
| 650 | 4 | |a Gödel (Computer program language) | |
| 650 | 4 | |a Logic programming languages | |
| 650 | 0 | 7 | |a Gödel |g Programmiersprache |0 (DE-588)4362340-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Gödel |g Programmiersprache |0 (DE-588)4362340-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Lloyd, John |e Verfasser |4 aut | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006555094 | ||
Record in the Search Index
| _version_ | 1804124258637447168 |
|---|---|
| any_adam_object | |
| author | Hill, Patricia Lloyd, John |
| author_facet | Hill, Patricia Lloyd, John |
| author_role | aut aut |
| author_sort | Hill, Patricia |
| author_variant | p h ph j l jl |
| building | Verbundindex |
| bvnumber | BV009898227 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.73.G17 |
| callnumber-search | QA76.73.G17 |
| callnumber-sort | QA 276.73 G17 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 240 |
| classification_tum | DAT 706f DAT 362f |
| ctrlnum | (OCoLC)831869419 (DE-599)BVBBV009898227 |
| 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>01474nam a2200457 c 4500</leader><controlfield tag="001">BV009898227</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20050427 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">941114s1994 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262082292</subfield><subfield code="9">0-262-08229-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)831869419</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009898227</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-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.73.G17</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 240</subfield><subfield code="0">(DE-625)143625:</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 362f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hill, Patricia</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The Gödel programming language</subfield><subfield code="c">Patricia Hill ; John Lloyd</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. u.a.</subfield><subfield code="b">MIT Press</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 348 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">Gödel</subfield><subfield code="2">inriap</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages de programmation</subfield><subfield code="2">ram</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">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation relationnelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Gödel (Computer program language)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming languages</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Gödel</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4362340-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Gödel</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4362340-2</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">Lloyd, John</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006555094</subfield></datafield></record></collection> |
| id | DE-604.BV009898227 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:42:49Z |
| institution | BVB |
| isbn | 0262082292 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006555094 |
| oclc_num | 831869419 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-29T DE-210 DE-188 DE-11 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-29T DE-210 DE-188 DE-11 |
| physical | XX, 348 S. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | MIT Press |
| record_format | marc |
| series2 | Logic programming |
| spelling | Hill, Patricia Verfasser aut The Gödel programming language Patricia Hill ; John Lloyd Cambridge, Mass. u.a. MIT Press 1994 XX, 348 S. txt rdacontent n rdamedia nc rdacarrier Logic programming Gödel inriap Langages de programmation ram Programmation logique ram programmation en logique inriac programmation relationnelle inriac Gödel (Computer program language) Logic programming languages Gödel Programmiersprache (DE-588)4362340-2 gnd rswk-swf Gödel Programmiersprache (DE-588)4362340-2 s DE-604 Lloyd, John Verfasser aut |
| spellingShingle | Hill, Patricia Lloyd, John The Gödel programming language Gödel inriap Langages de programmation ram Programmation logique ram programmation en logique inriac programmation relationnelle inriac Gödel (Computer program language) Logic programming languages Gödel Programmiersprache (DE-588)4362340-2 gnd |
| subject_GND | (DE-588)4362340-2 |
| title | The Gödel programming language |
| title_auth | The Gödel programming language |
| title_exact_search | The Gödel programming language |
| title_full | The Gödel programming language Patricia Hill ; John Lloyd |
| title_fullStr | The Gödel programming language Patricia Hill ; John Lloyd |
| title_full_unstemmed | The Gödel programming language Patricia Hill ; John Lloyd |
| title_short | The Gödel programming language |
| title_sort | the godel programming language |
| topic | Gödel inriap Langages de programmation ram Programmation logique ram programmation en logique inriac programmation relationnelle inriac Gödel (Computer program language) Logic programming languages Gödel Programmiersprache (DE-588)4362340-2 gnd |
| topic_facet | Gödel Langages de programmation Programmation logique programmation en logique programmation relationnelle Gödel (Computer program language) Logic programming languages Gödel Programmiersprache |
| work_keys_str_mv | AT hillpatricia thegodelprogramminglanguage AT lloydjohn thegodelprogramminglanguage |