Warren's abstract machine: a tutorial reconstruction
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass.
MIT Press
c1991
|
| Schriftenreihe: | Logic programming
|
| Schlagworte: | |
| Online-Zugang: | FHA01 FHI01 Volltext |
| Beschreibung: | Includes bibliographical references (p. [105]-107) and index |
| Beschreibung: | 1 Online-Ressource (xvi, 114 p.) |
| ISBN: | 0262011239 0262255588 0262510588 9780262011235 9780262255585 9780262510585 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042509085 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150417s1991 |||| o||u| ||||||eng d | ||
| 020 | |a 0262011239 |9 0-262-01123-9 | ||
| 020 | |a 0262255588 |c electronic bk. |9 0-262-25558-8 | ||
| 020 | |a 0262510588 |9 0-262-51058-8 | ||
| 020 | |a 9780262011235 |9 978-0-262-01123-5 | ||
| 020 | |a 9780262255585 |c electronic bk. |9 978-0-262-25558-5 | ||
| 020 | |a 9780262510585 |9 978-0-262-51058-5 | ||
| 035 | |a (OCoLC)827009761 | ||
| 035 | |a (DE-599)BVBBV042509085 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-Aug4 |a DE-573 | ||
| 082 | 0 | |a 006.3 |2 22 | |
| 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. |b MIT Press |c c1991 | |
| 300 | |a 1 Online-Ressource (xvi, 114 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Logic programming | |
| 500 | |a Includes bibliographical references (p. [105]-107) and index | ||
| 650 | 4 | |a programmation en logique | |
| 650 | 4 | |a PROLOG. | |
| 650 | 4 | |a WAM. | |
| 650 | 4 | |a machine Warren | |
| 650 | 4 | |a Prolog (Langage de programmation) | |
| 650 | 4 | |a Programmation logique | |
| 650 | 4 | |a Ordinateurs | |
| 650 | 7 | |a PROLOG. |2 gtt | |
| 650 | 7 | |a Logisch programmeren |2 gtt | |
| 650 | 7 | |a Prolog (langage de programmation) |2 ram | |
| 650 | 7 | |a Programmation logique |2 ram | |
| 650 | 7 | |a Compiler |2 swd | |
| 650 | 7 | |a Implementierung |2 swd | |
| 650 | 7 | |a PROLOG (Programmiersprache) |2 swd | |
| 650 | 7 | |a Electronic digital computers |2 fast | |
| 650 | 7 | |a Logic programming |2 fast | |
| 650 | 7 | |a Prolog (Computer program language) |2 fast | |
| 650 | 4 | |a Prolog (Computer program language) | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Electronic digital computers | |
| 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 |
| 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 | 1 | |a Implementierung |g Informatik |0 (DE-588)4026663-1 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |D s |
| 689 | 1 | 1 | |a Compiler |0 (DE-588)4148248-7 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 856 | 4 | 0 | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208 |x Verlag |3 Volltext |
| 912 | |a ZDB-37-IEM | ||
| 940 | 1 | |q ZDB-37-IEM_GB/15 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027943649 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208 |l FHA01 |p ZDB-37-IEM |x Verlag |3 Volltext | |
| 966 | e | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208 |l FHI01 |p ZDB-37-IEM |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804153253246533632 |
|---|---|
| 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 | BV042509085 |
| collection | ZDB-37-IEM |
| ctrlnum | (OCoLC)827009761 (DE-599)BVBBV042509085 |
| 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 | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03026nmm a2200781zc 4500</leader><controlfield tag="001">BV042509085</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150417s1991 |||| o||u| ||||||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">0262255588</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-262-25558-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262510588</subfield><subfield code="9">0-262-51058-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262011235</subfield><subfield code="9">978-0-262-01123-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262255585</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-262-25558-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262510585</subfield><subfield code="9">978-0-262-51058-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)827009761</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042509085</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-573</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22</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.</subfield><subfield code="b">MIT Press</subfield><subfield code="c">c1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xvi, 114 p.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">Includes bibliographical references (p. [105]-107) and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">programmation en logique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">PROLOG.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">WAM.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">machine Warren</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Prolog (Langage de programmation)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation logique</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">Logisch programmeren</subfield><subfield code="2">gtt</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 logique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Compiler</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Implementierung</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PROLOG (Programmiersprache)</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Electronic digital computers</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic programming</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Prolog (Computer program language)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Prolog (Computer program language)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic digital computers</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="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="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="0" ind2=" "><subfield code="8">1\p</subfield><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">Compiler</subfield><subfield code="0">(DE-588)4148248-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-37-IEM</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-37-IEM_GB/15</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027943649</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-37-IEM</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-37-IEM</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV042509085 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:23:40Z |
| institution | BVB |
| isbn | 0262011239 0262255588 0262510588 9780262011235 9780262255585 9780262510585 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027943649 |
| oclc_num | 827009761 |
| open_access_boolean | |
| owner | DE-Aug4 DE-573 |
| owner_facet | DE-Aug4 DE-573 |
| physical | 1 Online-Ressource (xvi, 114 p.) |
| psigel | ZDB-37-IEM ZDB-37-IEM_GB/15 |
| 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. MIT Press c1991 1 Online-Ressource (xvi, 114 p.) txt rdacontent c rdamedia cr rdacarrier Logic programming Includes bibliographical references (p. [105]-107) and index programmation en logique PROLOG. WAM. machine Warren Prolog (Langage de programmation) Programmation logique Ordinateurs PROLOG. gtt Logisch programmeren gtt Prolog (langage de programmation) ram Programmation logique ram Compiler swd Implementierung swd PROLOG (Programmiersprache) swd Electronic digital computers fast Logic programming fast Prolog (Computer program language) fast Prolog (Computer program language) Electronic digital computers Compiler (DE-588)4148248-7 gnd rswk-swf Implementierung Informatik (DE-588)4026663-1 gnd rswk-swf PROLOG Programmiersprache (DE-588)4047464-1 gnd rswk-swf PROLOG Programmiersprache (DE-588)4047464-1 s Implementierung Informatik (DE-588)4026663-1 s 1\p DE-604 Compiler (DE-588)4148248-7 s 2\p DE-604 http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Aït-Kaci, Hassan Warren's abstract machine a tutorial reconstruction programmation en logique PROLOG. WAM. machine Warren Prolog (Langage de programmation) Programmation logique Ordinateurs PROLOG. gtt Logisch programmeren gtt Prolog (langage de programmation) ram Programmation logique ram Compiler swd Implementierung swd PROLOG (Programmiersprache) swd Electronic digital computers fast Logic programming fast Prolog (Computer program language) fast Prolog (Computer program language) Logic programming Electronic digital computers Compiler (DE-588)4148248-7 gnd Implementierung Informatik (DE-588)4026663-1 gnd PROLOG Programmiersprache (DE-588)4047464-1 gnd |
| subject_GND | (DE-588)4148248-7 (DE-588)4026663-1 (DE-588)4047464-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 | programmation en logique PROLOG. WAM. machine Warren Prolog (Langage de programmation) Programmation logique Ordinateurs PROLOG. gtt Logisch programmeren gtt Prolog (langage de programmation) ram Programmation logique ram Compiler swd Implementierung swd PROLOG (Programmiersprache) swd Electronic digital computers fast Logic programming fast Prolog (Computer program language) fast Prolog (Computer program language) Logic programming Electronic digital computers Compiler (DE-588)4148248-7 gnd Implementierung Informatik (DE-588)4026663-1 gnd PROLOG Programmiersprache (DE-588)4047464-1 gnd |
| topic_facet | programmation en logique PROLOG. WAM. machine Warren Prolog (Langage de programmation) Programmation logique Ordinateurs Logisch programmeren Prolog (langage de programmation) Compiler Implementierung PROLOG (Programmiersprache) Electronic digital computers Logic programming Prolog (Computer program language) Implementierung Informatik PROLOG Programmiersprache |
| url | http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208 |
| work_keys_str_mv | AT aitkacihassan warrensabstractmachineatutorialreconstruction |