Types for proofs and programs: international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2002
|
| Schriftenreihe: | Lecture notes in computer science
2277 |
| Schlagworte: | |
| Beschreibung: | Literaturangaben |
| Beschreibung: | VIII, 242 S. |
| ISBN: | 3540432876 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV014150787 | ||
| 003 | DE-604 | ||
| 005 | 20020403 | ||
| 007 | t| | ||
| 008 | 020211s2002 gw |||| 10||| eng d | ||
| 016 | 7 | |a 963684981 |2 DE-101 | |
| 020 | |a 3540432876 |9 3-540-43287-6 | ||
| 035 | |a (OCoLC)49197579 | ||
| 035 | |a (DE-599)BVBBV014150787 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-19 |a DE-83 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.9.A96 | |
| 082 | 0 | |a 006.3/33 |2 21 | |
| 245 | 1 | 0 | |a Types for proofs and programs |b international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers |c Paul Callaghan ... (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2002 | |
| 300 | |a VIII, 242 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 2277 | |
| 500 | |a Literaturangaben | ||
| 650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 7 | |a Ordinateurs - Programmation - Congrès |2 ram | |
| 650 | 4 | |a Programmation (Informatique) - Congrès | |
| 650 | 7 | |a Programmeertalen |2 gtt | |
| 650 | 4 | |a Théorèmes - Démonstration automatique - Congrès | |
| 650 | 7 | |a Théorèmes - Démonstration automatique - Congrès |2 ram | |
| 650 | 7 | |a lambda calcul |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a preuve programme |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 7 | |a système preuve |2 inriac | |
| 650 | 7 | |a sémantique programme |2 inriac | |
| 650 | 7 | |a théorie programmation |2 inriac | |
| 650 | 7 | |a théorie type |2 inriac | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Automatic theorem proving |v Congresses | |
| 650 | 4 | |a Computer programming |v Congresses | |
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Reduktionssystem |0 (DE-588)4194895-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Typentheorie |0 (DE-588)4121795-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Typsystem |0 (DE-588)4625224-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2000 |z Durham |2 gnd-content | |
| 689 | 0 | 0 | |a Typentheorie |0 (DE-588)4121795-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Typsystem |0 (DE-588)4625224-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 2 | 1 | |a Typentheorie |0 (DE-588)4121795-0 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 3 | 1 | |a Typentheorie |0 (DE-588)4121795-0 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Reduktionssystem |0 (DE-588)4194895-6 |D s |
| 689 | 4 | 1 | |a Typentheorie |0 (DE-588)4121795-0 |D s |
| 689 | 4 | |5 DE-604 | |
| 700 | 1 | |a Callaghan, Paul |d 1970- |e Sonstige |0 (DE-588)123521785 |4 oth | |
| 711 | 2 | |a TYPES |n 1 |d 2000 |c Durham |j Sonstige |0 (DE-588)5537040-8 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2277 |w (DE-604)BV000000607 |9 2277 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009698299 | |
Datensatz im Suchindex
| _version_ | 1820874910261575680 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)123521785 |
| building | Verbundindex |
| bvnumber | BV014150787 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.A96 |
| callnumber-search | QA76.9.A96 |
| callnumber-sort | QA 276.9 A96 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)49197579 (DE-599)BVBBV014150787 |
| dewey-full | 006.3/33 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3/33 |
| dewey-search | 006.3/33 |
| dewey-sort | 16.3 233 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008cb4500</leader><controlfield tag="001">BV014150787</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20020403</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">020211s2002 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">963684981</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540432876</subfield><subfield code="9">3-540-43287-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)49197579</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014150787</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.A96</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3/33</subfield><subfield code="2">21</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Types for proofs and programs</subfield><subfield code="b">international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers</subfield><subfield code="c">Paul Callaghan ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 242 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">Lecture notes in computer science</subfield><subfield code="v">2277</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kunstmatige intelligentie</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">Ordinateurs - Programmation - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmeertalen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Théorèmes - Démonstration automatique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Théorèmes - Démonstration automatique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">lambda calcul</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthode formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">preuve programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réécriture</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système preuve</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie type</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic theorem proving</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Reduktionssystem</subfield><subfield code="0">(DE-588)4194895-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Typsystem</subfield><subfield code="0">(DE-588)4625224-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2000</subfield><subfield code="z">Durham</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Typsystem</subfield><subfield code="0">(DE-588)4625224-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Reduktionssystem</subfield><subfield code="0">(DE-588)4194895-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="1"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Callaghan, Paul</subfield><subfield code="d">1970-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)123521785</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TYPES</subfield><subfield code="n">1</subfield><subfield code="d">2000</subfield><subfield code="c">Durham</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5537040-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2277</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2277</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009698299</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2000 Durham gnd-content |
| genre_facet | Konferenzschrift 2000 Durham |
| id | DE-604.BV014150787 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:07:14Z |
| institution | BVB |
| institution_GND | (DE-588)5537040-8 |
| isbn | 3540432876 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009698299 |
| oclc_num | 49197579 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-19 DE-BY-UBM DE-83 DE-188 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-19 DE-BY-UBM DE-83 DE-188 DE-706 |
| physical | VIII, 242 S. |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Types for proofs and programs international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers Paul Callaghan ... (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2002 VIII, 242 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2277 Literaturangaben Kunstmatige intelligentie gtt Logica gtt Ordinateurs - Programmation - Congrès ram Programmation (Informatique) - Congrès Programmeertalen gtt Théorèmes - Démonstration automatique - Congrès Théorèmes - Démonstration automatique - Congrès ram lambda calcul inriac méthode formelle inriac preuve programme inriac programmation en logique inriac réécriture inriac système preuve inriac sémantique programme inriac théorie programmation inriac théorie type inriac Logik Automatic theorem proving Congresses Computer programming Congresses Beweistheorie (DE-588)4145177-6 gnd rswk-swf Reduktionssystem (DE-588)4194895-6 gnd rswk-swf Typentheorie (DE-588)4121795-0 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Typsystem (DE-588)4625224-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2000 Durham gnd-content Typentheorie (DE-588)4121795-0 s DE-604 Typsystem (DE-588)4625224-1 s Beweistheorie (DE-588)4145177-6 s Programmierung (DE-588)4076370-5 s Reduktionssystem (DE-588)4194895-6 s Callaghan, Paul 1970- Sonstige (DE-588)123521785 oth TYPES 1 2000 Durham Sonstige (DE-588)5537040-8 oth Lecture notes in computer science 2277 (DE-604)BV000000607 2277 |
| spellingShingle | Types for proofs and programs international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers Lecture notes in computer science Kunstmatige intelligentie gtt Logica gtt Ordinateurs - Programmation - Congrès ram Programmation (Informatique) - Congrès Programmeertalen gtt Théorèmes - Démonstration automatique - Congrès Théorèmes - Démonstration automatique - Congrès ram lambda calcul inriac méthode formelle inriac preuve programme inriac programmation en logique inriac réécriture inriac système preuve inriac sémantique programme inriac théorie programmation inriac théorie type inriac Logik Automatic theorem proving Congresses Computer programming Congresses Beweistheorie (DE-588)4145177-6 gnd Reduktionssystem (DE-588)4194895-6 gnd Typentheorie (DE-588)4121795-0 gnd Programmierung (DE-588)4076370-5 gnd Typsystem (DE-588)4625224-1 gnd |
| subject_GND | (DE-588)4145177-6 (DE-588)4194895-6 (DE-588)4121795-0 (DE-588)4076370-5 (DE-588)4625224-1 (DE-588)1071861417 |
| title | Types for proofs and programs international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers |
| title_auth | Types for proofs and programs international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers |
| title_exact_search | Types for proofs and programs international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers |
| title_full | Types for proofs and programs international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers Paul Callaghan ... (ed.) |
| title_fullStr | Types for proofs and programs international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers Paul Callaghan ... (ed.) |
| title_full_unstemmed | Types for proofs and programs international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers Paul Callaghan ... (ed.) |
| title_short | Types for proofs and programs |
| title_sort | types for proofs and programs international workshop types 2000 durham uk december 8 12 2000 selected papers |
| title_sub | international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers |
| topic | Kunstmatige intelligentie gtt Logica gtt Ordinateurs - Programmation - Congrès ram Programmation (Informatique) - Congrès Programmeertalen gtt Théorèmes - Démonstration automatique - Congrès Théorèmes - Démonstration automatique - Congrès ram lambda calcul inriac méthode formelle inriac preuve programme inriac programmation en logique inriac réécriture inriac système preuve inriac sémantique programme inriac théorie programmation inriac théorie type inriac Logik Automatic theorem proving Congresses Computer programming Congresses Beweistheorie (DE-588)4145177-6 gnd Reduktionssystem (DE-588)4194895-6 gnd Typentheorie (DE-588)4121795-0 gnd Programmierung (DE-588)4076370-5 gnd Typsystem (DE-588)4625224-1 gnd |
| topic_facet | Kunstmatige intelligentie Logica Ordinateurs - Programmation - Congrès Programmation (Informatique) - Congrès Programmeertalen Théorèmes - Démonstration automatique - Congrès lambda calcul méthode formelle preuve programme programmation en logique réécriture système preuve sémantique programme théorie programmation théorie type Logik Automatic theorem proving Congresses Computer programming Congresses Beweistheorie Reduktionssystem Typentheorie Programmierung Typsystem Konferenzschrift 2000 Durham |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT callaghanpaul typesforproofsandprogramsinternationalworkshoptypes2000durhamukdecember8122000selectedpapers AT typesdurham typesforproofsandprogramsinternationalworkshoptypes2000durhamukdecember8122000selectedpapers |