Logic programming: operational semantics and proof theory
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Edinburgh
Univ. of Edinburgh, Department of Computer Science
1991
|
| Schriftenreihe: | University <Edinburgh> / Department of Computer Science: Thesis
75 |
| Schlagworte: | |
| Beschreibung: | Zugl.: Edinburgh, Univ., Diss. |
| Beschreibung: | 166 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV004625966 | ||
| 003 | DE-604 | ||
| 005 | 19951023 | ||
| 007 | t | ||
| 008 | 911129s1991 m||| 00||| eng d | ||
| 035 | |a (OCoLC)475813511 | ||
| 035 | |a (DE-599)BVBBV004625966 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-19 | ||
| 084 | |a DAT 706d |2 stub | ||
| 088 | |a CST 75 91 | ||
| 088 | |a ECS LFCS 91 141 | ||
| 100 | 1 | |a Andrews, James H. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic programming |b operational semantics and proof theory |c by James Harold Andrews |
| 246 | 1 | 3 | |a CST 75 91 |
| 246 | 1 | 3 | |a ECS LFCS 91 141 |
| 264 | 1 | |a Edinburgh |b Univ. of Edinburgh, Department of Computer Science |c 1991 | |
| 300 | |a 166 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a University <Edinburgh> / Department of Computer Science: Thesis |v 75 | |
| 500 | |a Zugl.: Edinburgh, Univ., Diss. | ||
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 810 | 2 | |a Department of Computer Science: Thesis |t University <Edinburgh> |v 75 |w (DE-604)BV008928181 |9 75 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002841710 | ||
Datensatz im Suchindex
| _version_ | 1804118747994128387 |
|---|---|
| any_adam_object | |
| author | Andrews, James H. |
| author_facet | Andrews, James H. |
| author_role | aut |
| author_sort | Andrews, James H. |
| author_variant | j h a jh jha |
| building | Verbundindex |
| bvnumber | BV004625966 |
| classification_tum | DAT 706d |
| ctrlnum | (OCoLC)475813511 (DE-599)BVBBV004625966 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01333nam a2200385 cb4500</leader><controlfield tag="001">BV004625966</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19951023 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">911129s1991 m||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)475813511</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004625966</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-19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">CST 75 91</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">ECS LFCS 91 141</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Andrews, James H.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic programming</subfield><subfield code="b">operational semantics and proof theory</subfield><subfield code="c">by James Harold Andrews</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">CST 75 91</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">ECS LFCS 91 141</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="b">Univ. of Edinburgh, Department of Computer Science</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">166 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="1" ind2=" "><subfield code="a">University <Edinburgh> / Department of Computer Science: Thesis</subfield><subfield code="v">75</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Edinburgh, Univ., Diss.</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Thesis</subfield><subfield code="t">University <Edinburgh></subfield><subfield code="v">75</subfield><subfield code="w">(DE-604)BV008928181</subfield><subfield code="9">75</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002841710</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV004625966 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:15:13Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002841710 |
| oclc_num | 475813511 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-19 DE-BY-UBM |
| owner_facet | DE-91G DE-BY-TUM DE-19 DE-BY-UBM |
| physical | 166 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Univ. of Edinburgh, Department of Computer Science |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Computer Science: Thesis |
| spelling | Andrews, James H. Verfasser aut Logic programming operational semantics and proof theory by James Harold Andrews CST 75 91 ECS LFCS 91 141 Edinburgh Univ. of Edinburgh, Department of Computer Science 1991 166 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Computer Science: Thesis 75 Zugl.: Edinburgh, Univ., Diss. Logische Programmierung (DE-588)4195096-3 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Department of Computer Science: Thesis University <Edinburgh> 75 (DE-604)BV008928181 75 |
| spellingShingle | Andrews, James H. Logic programming operational semantics and proof theory Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)4113937-9 |
| title | Logic programming operational semantics and proof theory |
| title_alt | CST 75 91 ECS LFCS 91 141 |
| title_auth | Logic programming operational semantics and proof theory |
| title_exact_search | Logic programming operational semantics and proof theory |
| title_full | Logic programming operational semantics and proof theory by James Harold Andrews |
| title_fullStr | Logic programming operational semantics and proof theory by James Harold Andrews |
| title_full_unstemmed | Logic programming operational semantics and proof theory by James Harold Andrews |
| title_short | Logic programming |
| title_sort | logic programming operational semantics and proof theory |
| title_sub | operational semantics and proof theory |
| topic | Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Logische Programmierung Hochschulschrift |
| volume_link | (DE-604)BV008928181 |
| work_keys_str_mv | AT andrewsjamesh logicprogrammingoperationalsemanticsandprooftheory AT andrewsjamesh cst7591 AT andrewsjamesh ecslfcs91141 |