The Gödel programming language:
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge, Mass. u.a.
MIT Press
1994
|
| Schriftenreihe: | Logic programming
|
| Schlagwörter: | |
| Umfang: | XX, 348 S. |
| ISBN: | 0262082292 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009898227 | ||
| 003 | DE-604 | ||
| 005 | 20050427 | ||
| 007 | t| | ||
| 008 | 941114s1994 xx |||| 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 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006555094 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 362f 2001 A 18153 |
|---|---|
| DE-BY-TUM_katkey | 639266 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010660494 |
| _version_ | 1821937802739187712 |
| 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>01475nam 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 xx |||| 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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006555094</subfield></datafield></record></collection> |
| id | DE-604.BV009898227 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T09:44:05Z |
| 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 |
| 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 |
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik
| Signatur: |
0102 DAT 362f 2001 A 18153 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |