Selected papers on Automath:
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
Elsevier
1994
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
v. 133 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or have remained unpublished. The aim of the editors is to present a representative selection of existing articles and reports and of material contained in dissertations, giving a compact and more or less complete overview of the work that has been done in the Automath research field, from the beginning to the present day. Six different areas have been distinguished, which correspond to Parts A to F of the book. These areas range from general ideas and motivation, to detailed syntactical investigations Includes bibliographical references and indexes |
| Beschreibung: | 1 Online-Ressource (xix, 1024 p.) |
| ISBN: | 9780444898227 0444898220 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042317790 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s1994 |||| o||u| ||||||eng d | ||
| 020 | |a 9780444898227 |9 978-0-444-89822-7 | ||
| 020 | |a 0444898220 |9 0-444-89822-0 | ||
| 035 | |a (ZDB-33-EBS)ocn316568622 | ||
| 035 | |a (OCoLC)316568622 | ||
| 035 | |a (DE-599)BVBBV042317790 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 511.3 |2 22 | |
| 245 | 1 | 0 | |a Selected papers on Automath |c edited by R.P. Nederpelt ... [et al.] |
| 264 | 1 | |a Amsterdam |b Elsevier |c 1994 | |
| 300 | |a 1 Online-Ressource (xix, 1024 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studies in logic and the foundations of mathematics |v v. 133 | |
| 500 | |a The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or have remained unpublished. The aim of the editors is to present a representative selection of existing articles and reports and of material contained in dissertations, giving a compact and more or less complete overview of the work that has been done in the Automath research field, from the beginning to the present day. Six different areas have been distinguished, which correspond to Parts A to F of the book. These areas range from general ideas and motivation, to detailed syntactical investigations | ||
| 500 | |a Includes bibliographical references and indexes | ||
| 650 | 4 | |a AUTOMATH (Langage formel) | |
| 650 | 7 | |a Combinatorische logica |2 gtt | |
| 650 | 7 | |a Automath |2 gtt | |
| 650 | 7 | |a Taal |2 gtt | |
| 650 | 7 | |a Wiskunde |2 gtt | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 7 | |a AUTOMATH (Formal language) |2 fast | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a AUTOMATH (Formal language) | |
| 650 | 0 | 7 | |a Automat |g Automatentheorie |0 (DE-588)4831958-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweisführung |0 (DE-588)4227233-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 0 | 1 | |a Beweisführung |0 (DE-588)4227233-6 |D s |
| 689 | 0 | 2 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 689 | 1 | 0 | |a Automat |g Automatentheorie |0 (DE-588)4831958-2 |D s |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 700 | 1 | |a Nederpelt, R. P. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444898227 |x Verlag |3 Volltext |
| 912 | |a ZDB-33-ESD |a ZDB-33-EBS | ||
| 940 | 1 | |q FAW_PDA_ESD | |
| 940 | 1 | |q FLA_PDA_ESD | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027754781 | ||
| 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 | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804152914617303040 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV042317790 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (ZDB-33-EBS)ocn316568622 (OCoLC)316568622 (DE-599)BVBBV042317790 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03193nmm a2200661zcb4500</leader><controlfield tag="001">BV042317790</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s1994 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444898227</subfield><subfield code="9">978-0-444-89822-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444898220</subfield><subfield code="9">0-444-89822-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-EBS)ocn316568622</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)316568622</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317790</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-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Selected papers on Automath</subfield><subfield code="c">edited by R.P. Nederpelt ... [et al.]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Elsevier</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xix, 1024 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">Studies in logic and the foundations of mathematics</subfield><subfield code="v">v. 133</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or have remained unpublished. The aim of the editors is to present a representative selection of existing articles and reports and of material contained in dissertations, giving a compact and more or less complete overview of the work that has been done in the Automath research field, from the beginning to the present day. Six different areas have been distinguished, which correspond to Parts A to F of the book. These areas range from general ideas and motivation, to detailed syntactical investigations</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and indexes</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">AUTOMATH (Langage formel)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Combinatorische logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Automath</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Taal</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Wiskunde</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">AUTOMATH (Formal language)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">AUTOMATH (Formal language)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automat</subfield><subfield code="g">Automatentheorie</subfield><subfield code="0">(DE-588)4831958-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweisführung</subfield><subfield code="0">(DE-588)4227233-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Beweisführung</subfield><subfield code="0">(DE-588)4227233-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Automat</subfield><subfield code="g">Automatentheorie</subfield><subfield code="0">(DE-588)4831958-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nederpelt, R. P.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444898227</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027754781</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="883" ind1="1" ind2=" "><subfield code="8">3\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></record></collection> |
| genre | 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV042317790 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:17Z |
| institution | BVB |
| isbn | 9780444898227 0444898220 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754781 |
| oclc_num | 316568622 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 1 Online-Ressource (xix, 1024 p.) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Elsevier |
| record_format | marc |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Selected papers on Automath edited by R.P. Nederpelt ... [et al.] Amsterdam Elsevier 1994 1 Online-Ressource (xix, 1024 p.) txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics v. 133 The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or have remained unpublished. The aim of the editors is to present a representative selection of existing articles and reports and of material contained in dissertations, giving a compact and more or less complete overview of the work that has been done in the Automath research field, from the beginning to the present day. Six different areas have been distinguished, which correspond to Parts A to F of the book. These areas range from general ideas and motivation, to detailed syntactical investigations Includes bibliographical references and indexes AUTOMATH (Langage formel) Combinatorische logica gtt Automath gtt Taal gtt Wiskunde gtt Logica gtt AUTOMATH (Formal language) fast Logik Mathematik AUTOMATH (Formal language) Automat Automatentheorie (DE-588)4831958-2 gnd rswk-swf Beweisführung (DE-588)4227233-6 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content Formale Sprache (DE-588)4017848-1 s Beweisführung (DE-588)4227233-6 s Automatisches Beweisverfahren (DE-588)4069034-9 s 2\p DE-604 Automat Automatentheorie (DE-588)4831958-2 s 3\p DE-604 Nederpelt, R. P. Sonstige oth http://www.sciencedirect.com/science/book/9780444898227 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 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Selected papers on Automath AUTOMATH (Langage formel) Combinatorische logica gtt Automath gtt Taal gtt Wiskunde gtt Logica gtt AUTOMATH (Formal language) fast Logik Mathematik AUTOMATH (Formal language) Automat Automatentheorie (DE-588)4831958-2 gnd Beweisführung (DE-588)4227233-6 gnd Formale Sprache (DE-588)4017848-1 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| subject_GND | (DE-588)4831958-2 (DE-588)4227233-6 (DE-588)4017848-1 (DE-588)4069034-9 (DE-588)4143413-4 |
| title | Selected papers on Automath |
| title_auth | Selected papers on Automath |
| title_exact_search | Selected papers on Automath |
| title_full | Selected papers on Automath edited by R.P. Nederpelt ... [et al.] |
| title_fullStr | Selected papers on Automath edited by R.P. Nederpelt ... [et al.] |
| title_full_unstemmed | Selected papers on Automath edited by R.P. Nederpelt ... [et al.] |
| title_short | Selected papers on Automath |
| title_sort | selected papers on automath |
| topic | AUTOMATH (Langage formel) Combinatorische logica gtt Automath gtt Taal gtt Wiskunde gtt Logica gtt AUTOMATH (Formal language) fast Logik Mathematik AUTOMATH (Formal language) Automat Automatentheorie (DE-588)4831958-2 gnd Beweisführung (DE-588)4227233-6 gnd Formale Sprache (DE-588)4017848-1 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| topic_facet | AUTOMATH (Langage formel) Combinatorische logica Automath Taal Wiskunde Logica AUTOMATH (Formal language) Logik Mathematik Automat Automatentheorie Beweisführung Formale Sprache Automatisches Beweisverfahren Aufsatzsammlung |
| url | http://www.sciencedirect.com/science/book/9780444898227 |
| work_keys_str_mv | AT nederpeltrp selectedpapersonautomath |