Relevance logic and concurrent composition:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Edinburgh
Univ. of Edinburgh, Dep. of Computer Science
1990
|
| Series: | University <Edinburgh> / Department of Computer Science: Thesis
66 |
| Subjects: | |
| Item Description: | Zugl.: Edinburgh, Univ., Diss., 1989 |
| Physical Description: | 223 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV004413087 | ||
| 003 | DE-604 | ||
| 005 | 19951023 | ||
| 007 | t | ||
| 008 | 910711s1990 m||| 00||| eng d | ||
| 035 | |a (OCoLC)223106293 | ||
| 035 | |a (DE-599)BVBBV004413087 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 084 | |a DAT 549d |2 stub | ||
| 084 | |a DAT 516d |2 stub | ||
| 088 | |a CST 66 90 | ||
| 088 | |a ECS LFCS 90 119 | ||
| 100 | 1 | |a Dam, Mads F. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Relevance logic and concurrent composition |c Mads Frederik Dam |
| 246 | 1 | 3 | |a CST 66 90 |
| 246 | 1 | 3 | |a ECS LFCS 90 119 |
| 264 | 1 | |a Edinburgh |b Univ. of Edinburgh, Dep. of Computer Science |c 1990 | |
| 300 | |a 223 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 66 | |
| 500 | |a Zugl.: Edinburgh, Univ., Diss., 1989 | ||
| 650 | 4 | |a Computers | |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 810 | 2 | |a Department of Computer Science: Thesis |t University <Edinburgh> |v 66 |w (DE-604)BV008928181 |9 66 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002737881 | ||
Record in the Search Index
| _version_ | 1804118589477748736 |
|---|---|
| any_adam_object | |
| author | Dam, Mads F. |
| author_facet | Dam, Mads F. |
| author_role | aut |
| author_sort | Dam, Mads F. |
| author_variant | m f d mf mfd |
| building | Verbundindex |
| bvnumber | BV004413087 |
| classification_tum | DAT 549d DAT 516d |
| ctrlnum | (OCoLC)223106293 (DE-599)BVBBV004413087 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01198nam a2200373 cb4500</leader><controlfield tag="001">BV004413087</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19951023 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">910711s1990 m||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)223106293</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004413087</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></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 549d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">CST 66 90</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">ECS LFCS 90 119</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dam, Mads F.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Relevance logic and concurrent composition</subfield><subfield code="c">Mads Frederik Dam</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">CST 66 90</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">ECS LFCS 90 119</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="b">Univ. of Edinburgh, Dep. of Computer Science</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">223 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">66</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Edinburgh, Univ., Diss., 1989</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</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="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Thesis</subfield><subfield code="t">University <Edinburgh></subfield><subfield code="v">66</subfield><subfield code="w">(DE-604)BV008928181</subfield><subfield code="9">66</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002737881</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV004413087 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:12:42Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002737881 |
| oclc_num | 223106293 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 223 S. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Univ. of Edinburgh, Dep. of Computer Science |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Computer Science: Thesis |
| spelling | Dam, Mads F. Verfasser aut Relevance logic and concurrent composition Mads Frederik Dam CST 66 90 ECS LFCS 90 119 Edinburgh Univ. of Edinburgh, Dep. of Computer Science 1990 223 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Computer Science: Thesis 66 Zugl.: Edinburgh, Univ., Diss., 1989 Computers (DE-588)4113937-9 Hochschulschrift gnd-content Department of Computer Science: Thesis University <Edinburgh> 66 (DE-604)BV008928181 66 |
| spellingShingle | Dam, Mads F. Relevance logic and concurrent composition Computers |
| subject_GND | (DE-588)4113937-9 |
| title | Relevance logic and concurrent composition |
| title_alt | CST 66 90 ECS LFCS 90 119 |
| title_auth | Relevance logic and concurrent composition |
| title_exact_search | Relevance logic and concurrent composition |
| title_full | Relevance logic and concurrent composition Mads Frederik Dam |
| title_fullStr | Relevance logic and concurrent composition Mads Frederik Dam |
| title_full_unstemmed | Relevance logic and concurrent composition Mads Frederik Dam |
| title_short | Relevance logic and concurrent composition |
| title_sort | relevance logic and concurrent composition |
| topic | Computers |
| topic_facet | Computers Hochschulschrift |
| volume_link | (DE-604)BV008928181 |
| work_keys_str_mv | AT dammadsf relevancelogicandconcurrentcomposition AT dammadsf cst6690 AT dammadsf ecslfcs90119 |