Warren's abstract machine: a tutorial reconstruction
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass. u.a.
MIT Press
1991
|
| Schriftenreihe: | Logic programming
|
| Schlagworte: | |
| Beschreibung: | Literaturverz. S. [105] - 107 |
| Beschreibung: | XVI, 114 S. |
| ISBN: | 0262011239 0262510588 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004727855 | ||
| 003 | DE-604 | ||
| 005 | 20060508 | ||
| 007 | t | ||
| 008 | 920219s1991 |||| 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 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002907172 | ||
Datensatz im Suchindex
| _version_ | 1804118846241505280 |
|---|---|
| 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>02232nam 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 |||| 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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002907172</subfield></datafield></record></collection> |
| id | DE-604.BV004727855 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:16:47Z |
| 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 |
| spelling | Aït-Kaci, Hassan Verfasser aut Warren's abstract machine a tutorial reconstruction Hassan Aït-Kaci Cambridge, Mass. u.a. MIT Press 1991 XVI, 114 S. txt rdacontent n rdamedia nc rdacarrier Logic programming Literaturverz. S. [105] - 107 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 Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd rswk-swf Compiler (DE-588)4148248-7 gnd rswk-swf Implementierung Informatik (DE-588)4026663-1 gnd rswk-swf PROLOG Programmiersprache (DE-588)4047464-1 s DE-604 Implementierung Informatik (DE-588)4026663-1 s Compiler (DE-588)4148248-7 s |
| 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 |