Warren's abstract machine: a tutorial reconstruction
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge, Mass. u.a.
MIT Press
1991
|
| Schriftenreihe: | Logic programming
|
| Schlagwörter: | |
| Beschreibung: | Literaturverz. S. [105] - 107 |
| Umfang: | XVI, 114 S. |
| ISBN: | 0262011239 0262510588 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004727855 | ||
| 003 | DE-604 | ||
| 005 | 20060508 | ||
| 007 | t| | ||
| 008 | 920219s1991 xx |||| 00||| eng d | ||
| 020 | |a 0262011239 |9 0-262-01123-9 | ||
| 020 | |a 0262510588 |9 0-262-51058-8 | ||
| 035 | |a (OCoLC)23287300 | ||
| 035 | |a (DE-599)BVBBV004727855 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-473 |a DE-384 |a DE-739 |a DE-20 |a DE-29T |a DE-19 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.73.P76 | |
| 082 | 0 | |a 006.3 |2 20 | |
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 084 | |a DAT 552f |2 stub | ||
| 100 | 1 | |a Aït-Kaci, Hassan |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Warren's abstract machine |b a tutorial reconstruction |c Hassan Aït-Kaci |
| 264 | 1 | |a Cambridge, Mass. u.a. |b MIT Press |c 1991 | |
| 300 | |a XVI, 114 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Logic programming | |
| 500 | |a Literaturverz. S. [105] - 107 | ||
| 650 | 7 | |a Logisch programmeren |2 gtt | |
| 650 | 4 | |a Ordinateurs | |
| 650 | 7 | |a PROLOG |2 gtt | |
| 650 | 7 | |a PROLOG |2 inriac | |
| 650 | 4 | |a Programmation logique | |
| 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 WAM |2 inriac | |
| 650 | 7 | |a machine Warren |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 4 | |a Electronic digital computers | |
| 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 Compiler |0 (DE-588)4148248-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Implementierung |g Informatik |0 (DE-588)4026663-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 | |
| 689 | 1 | 0 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |D s |
| 689 | 1 | 1 | |a Implementierung |g Informatik |0 (DE-588)4026663-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |D s |
| 689 | 2 | 1 | |a Compiler |0 (DE-588)4148248-7 |D s |
| 689 | 2 | |5 DE-604 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-002907172 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 706f 2001 A 5226 |
|---|---|
| DE-BY-TUM_katkey | 543576 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010621646 |
| _version_ | 1821938351302770688 |
| any_adam_object | |
| author | Aït-Kaci, Hassan |
| author_facet | Aït-Kaci, Hassan |
| author_role | aut |
| author_sort | Aït-Kaci, Hassan |
| author_variant | h a k hak |
| building | Verbundindex |
| bvnumber | BV004727855 |
| 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 240 ST 250 |
| classification_tum | DAT 552f |
| ctrlnum | (OCoLC)23287300 (DE-599)BVBBV004727855 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| 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>02233nam a2200649 c 4500</leader><controlfield tag="001">BV004727855</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20060508 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">920219s1991 xx |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262011239</subfield><subfield code="9">0-262-01123-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262510588</subfield><subfield code="9">0-262-51058-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)23287300</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004727855</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-473</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</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">006.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">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 552f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Aït-Kaci, Hassan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Warren's abstract machine</subfield><subfield code="b">a tutorial reconstruction</subfield><subfield code="c">Hassan Aït-Kaci</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">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 114 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="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. [105] - 107</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="4"><subfield code="a">Ordinateurs</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="4"><subfield code="a">Programmation logique</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">WAM</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">machine Warren</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">Electronic digital computers</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">Compiler</subfield><subfield code="0">(DE-588)4148248-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Implementierung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4026663-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="689" ind1="1" 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="1" ind2="1"><subfield code="a">Implementierung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4026663-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2="1"><subfield code="a">Compiler</subfield><subfield code="0">(DE-588)4148248-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002907172</subfield></datafield></record></collection> |
| id | DE-604.BV004727855 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T08:22:03Z |
| institution | BVB |
| isbn | 0262011239 0262510588 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002907172 |
| oclc_num | 23287300 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-384 DE-739 DE-20 DE-29T DE-19 DE-BY-UBM DE-11 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-384 DE-739 DE-20 DE-29T DE-19 DE-BY-UBM DE-11 DE-188 |
| physical | XVI, 114 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | MIT Press |
| record_format | marc |
| series2 | Logic programming |
| spellingShingle | Aït-Kaci, Hassan Warren's abstract machine a tutorial reconstruction Logisch programmeren gtt Ordinateurs PROLOG gtt PROLOG inriac Programmation logique Programmation logique ram Prolog (Langage de programmation) Prolog (langage de programmation) ram WAM inriac machine Warren inriac programmation en logique inriac Electronic digital computers Logic programming Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd Compiler (DE-588)4148248-7 gnd Implementierung Informatik (DE-588)4026663-1 gnd |
| subject_GND | (DE-588)4047464-1 (DE-588)4148248-7 (DE-588)4026663-1 |
| title | Warren's abstract machine a tutorial reconstruction |
| title_auth | Warren's abstract machine a tutorial reconstruction |
| title_exact_search | Warren's abstract machine a tutorial reconstruction |
| title_full | Warren's abstract machine a tutorial reconstruction Hassan Aït-Kaci |
| title_fullStr | Warren's abstract machine a tutorial reconstruction Hassan Aït-Kaci |
| title_full_unstemmed | Warren's abstract machine a tutorial reconstruction Hassan Aït-Kaci |
| title_short | Warren's abstract machine |
| title_sort | warren s abstract machine a tutorial reconstruction |
| title_sub | a tutorial reconstruction |
| topic | Logisch programmeren gtt Ordinateurs PROLOG gtt PROLOG inriac Programmation logique Programmation logique ram Prolog (Langage de programmation) Prolog (langage de programmation) ram WAM inriac machine Warren inriac programmation en logique inriac Electronic digital computers Logic programming Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd Compiler (DE-588)4148248-7 gnd Implementierung Informatik (DE-588)4026663-1 gnd |
| topic_facet | Logisch programmeren Ordinateurs PROLOG Programmation logique Prolog (Langage de programmation) Prolog (langage de programmation) WAM machine Warren programmation en logique Electronic digital computers Logic programming Prolog (Computer program language) PROLOG Programmiersprache Compiler Implementierung Informatik |
| work_keys_str_mv | AT aitkacihassan warrensabstractmachineatutorialreconstruction |
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik
| Signatur: |
0102 DAT 706f 2001 A 5226 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |