Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Körperschaft: | |
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
New York,NY,United States
Association for Computing Machinery
2009
|
| Schriftenreihe: | ACM Other conferences
|
| Links: | https://dl.acm.org/action/showBook?doi=10.1145%2F1735813 https://dl.acm.org/action/showBook?doi=10.1145%2F1735813 |
| Umfang: | 1 Online-Ressource (48 Seiten) |
| ISBN: | 9781605589541 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV048955089 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 230510m2009 xx o|||| 00||| eng d | ||
| 020 | |a 9781605589541 |9 978-1-60558-954-1 | ||
| 035 | |a (ZDB-15-ACM)10.1145/1735813 | ||
| 035 | |a (OCoLC)1379409069 | ||
| 035 | |a (DE-599)BVBBV048955089 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 | ||
| 100 | 1 | |a Rabe, Florian |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants |c Edited by Florian Rabe, Carsten Schurmann |
| 246 | 1 | 0 | |a MLPA '09 |
| 264 | 1 | |a New York,NY,United States |b Association for Computing Machinery |c 2009 | |
| 300 | |a 1 Online-Ressource (48 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a ACM Other conferences | |
| 710 | 2 | |a MLPA '09: First Workshop on Modules and Libraries for Proof Assistants |d 2009 |c Montreal Canada |e Verfasser |4 aut | |
| 856 | 4 | 0 | |u https://dl.acm.org/action/showBook?doi=10.1145%2F1735813 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-15-ACM | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-034218935 | |
| 966 | e | |u https://dl.acm.org/action/showBook?doi=10.1145%2F1735813 |l DE-19 |p ZDB-15-ACM |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1818990597191499776 |
|---|---|
| any_adam_object | |
| author | Rabe, Florian |
| author_corporate | MLPA '09: First Workshop on Modules and Libraries for Proof Assistants |
| author_corporate_role | aut |
| author_facet | Rabe, Florian MLPA '09: First Workshop on Modules and Libraries for Proof Assistants |
| author_role | aut |
| author_sort | Rabe, Florian |
| author_variant | f r fr |
| building | Verbundindex |
| bvnumber | BV048955089 |
| collection | ZDB-15-ACM |
| ctrlnum | (ZDB-15-ACM)10.1145/1735813 (OCoLC)1379409069 (DE-599)BVBBV048955089 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01321nam a2200337 c 4500</leader><controlfield tag="001">BV048955089</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">230510m2009 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781605589541</subfield><subfield code="9">978-1-60558-954-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-15-ACM)10.1145/1735813</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1379409069</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048955089</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rabe, Florian</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants</subfield><subfield code="c">Edited by Florian Rabe, Carsten Schurmann</subfield></datafield><datafield tag="246" ind1="1" ind2="0"><subfield code="a">MLPA '09</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York,NY,United States</subfield><subfield code="b">Association for Computing Machinery</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (48 Seiten)</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">ACM Other conferences</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">MLPA '09: First Workshop on Modules and Libraries for Proof Assistants</subfield><subfield code="d">2009</subfield><subfield code="c">Montreal Canada</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://dl.acm.org/action/showBook?doi=10.1145%2F1735813</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-15-ACM</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034218935</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://dl.acm.org/action/showBook?doi=10.1145%2F1735813</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-15-ACM</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV048955089 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T19:56:54Z |
| institution | BVB |
| isbn | 9781605589541 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034218935 |
| oclc_num | 1379409069 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM |
| owner_facet | DE-19 DE-BY-UBM |
| physical | 1 Online-Ressource (48 Seiten) |
| psigel | ZDB-15-ACM |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Association for Computing Machinery |
| record_format | marc |
| series2 | ACM Other conferences |
| spelling | Rabe, Florian Verfasser aut Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants Edited by Florian Rabe, Carsten Schurmann MLPA '09 New York,NY,United States Association for Computing Machinery 2009 1 Online-Ressource (48 Seiten) txt rdacontent c rdamedia cr rdacarrier ACM Other conferences MLPA '09: First Workshop on Modules and Libraries for Proof Assistants 2009 Montreal Canada Verfasser aut https://dl.acm.org/action/showBook?doi=10.1145%2F1735813 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Rabe, Florian Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants |
| title | Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants |
| title_alt | MLPA '09 |
| title_auth | Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants |
| title_exact_search | Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants |
| title_full | Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants Edited by Florian Rabe, Carsten Schurmann |
| title_fullStr | Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants Edited by Florian Rabe, Carsten Schurmann |
| title_full_unstemmed | Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants Edited by Florian Rabe, Carsten Schurmann |
| title_short | Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants |
| title_sort | proceedings of the 1st workshop on modules and libraries for proof assistants |
| url | https://dl.acm.org/action/showBook?doi=10.1145%2F1735813 |
| work_keys_str_mv | AT rabeflorian proceedingsofthe1stworkshoponmodulesandlibrariesforproofassistants AT mlpa09firstworkshoponmodulesandlibrariesforproofassistants proceedingsofthe1stworkshoponmodulesandlibrariesforproofassistants AT rabeflorian mlpa09 AT mlpa09firstworkshoponmodulesandlibrariesforproofassistants mlpa09 |