Theorem proving in higher order logics: 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 - 6, 2001 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2001
|
| Schriftenreihe: | Lecture notes in computer science
2152 |
| Schlagworte: | |
| Beschreibung: | X, 393 S. |
| ISBN: | 354042525X |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013880342 | ||
| 003 | DE-604 | ||
| 005 | 20010906 | ||
| 007 | t| | ||
| 008 | 010814s2001 gw |||| 10||| eng d | ||
| 016 | 7 | |a 962139891 |2 DE-101 | |
| 020 | |a 354042525X |9 3-540-42525-X | ||
| 035 | |a (OCoLC)47844716 | ||
| 035 | |a (DE-599)BVBBV013880342 | ||
| 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-83 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.9.A96 | |
| 082 | 0 | |a 004/.01/51 |2 21 | |
| 084 | |a DAT 005f |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Theorem proving in higher order logics |b 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 - 6, 2001 ; proceedings |c Richard J. Boulton ; Paul B. Jackson (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2001 | |
| 300 | |a X, 393 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 2152 | |
| 650 | 7 | |a Automatische bewijsvoering |2 gtt | |
| 650 | 7 | |a Logica |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 logique mathématique |2 inriac | |
| 650 | 7 | |a logique ordre élevé |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a pi calcul |2 inriac | |
| 650 | 7 | |a théorie démonstration |2 inriac | |
| 650 | 7 | |a théorie type |2 inriac | |
| 650 | 7 | |a vérification matériel |2 inriac | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Automatic theorem proving |v Congresses | |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a HOL |0 (DE-588)4335765-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2001 |z Edinburgh |2 gnd-content | |
| 689 | 0 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a HOL |0 (DE-588)4335765-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Boulton, Richard J. |e Sonstige |4 oth | |
| 711 | 2 | |a TPHOLs |n 14 |d 2001 |c Edinburgh |j Sonstige |0 (DE-588)10025157-2 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2152 |w (DE-604)BV000000607 |9 2152 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009496375 | |
Datensatz im Suchindex
| _version_ | 1820874904720900096 |
|---|---|
| adam_text | |
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV013880342 |
| 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 |
| classification_tum | DAT 005f DAT 706f |
| ctrlnum | (OCoLC)47844716 (DE-599)BVBBV013880342 |
| dewey-full | 004/.01/51 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.01/51 |
| dewey-search | 004/.01/51 |
| dewey-sort | 14 11 251 |
| 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">BV013880342</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010906</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">010814s2001 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">962139891</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354042525X</subfield><subfield code="9">3-540-42525-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)47844716</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013880342</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-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">004/.01/51</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 005f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theorem proving in higher order logics</subfield><subfield code="b">14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 - 6, 2001 ; proceedings</subfield><subfield code="c">Richard J. Boulton ; Paul B. Jackson (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">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 393 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">2152</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Automatische bewijsvoering</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="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">logique mathématique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique ordre élevé</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">pi calcul</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie démonstration</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="7"><subfield code="a">vérification matériel</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="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="650" ind1="0" ind2="7"><subfield code="a">HOL</subfield><subfield code="0">(DE-588)4335765-9</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">2001</subfield><subfield code="z">Edinburgh</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">HOL</subfield><subfield code="0">(DE-588)4335765-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Boulton, Richard J.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TPHOLs</subfield><subfield code="n">14</subfield><subfield code="d">2001</subfield><subfield code="c">Edinburgh</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10025157-2</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">2152</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2152</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009496375</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2001 Edinburgh gnd-content |
| genre_facet | Konferenzschrift 2001 Edinburgh |
| id | DE-604.BV013880342 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:07:09Z |
| institution | BVB |
| institution_GND | (DE-588)10025157-2 |
| isbn | 354042525X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009496375 |
| oclc_num | 47844716 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-83 DE-188 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-83 DE-188 DE-706 |
| physical | X, 393 S. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Theorem proving in higher order logics 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 - 6, 2001 ; proceedings Richard J. Boulton ; Paul B. Jackson (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2001 X, 393 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2152 Automatische bewijsvoering gtt Logica gtt Théorèmes - Démonstration automatique - Congrès Théorèmes - Démonstration automatique - Congrès ram logique mathématique inriac logique ordre élevé inriac méthode formelle inriac pi calcul inriac théorie démonstration inriac théorie type inriac vérification matériel inriac Logik Automatic theorem proving Congresses Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf HOL (DE-588)4335765-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2001 Edinburgh gnd-content Automatisches Beweisverfahren (DE-588)4069034-9 s DE-604 HOL (DE-588)4335765-9 s Boulton, Richard J. Sonstige oth TPHOLs 14 2001 Edinburgh Sonstige (DE-588)10025157-2 oth Lecture notes in computer science 2152 (DE-604)BV000000607 2152 |
| spellingShingle | Theorem proving in higher order logics 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 - 6, 2001 ; proceedings Lecture notes in computer science Automatische bewijsvoering gtt Logica gtt Théorèmes - Démonstration automatique - Congrès Théorèmes - Démonstration automatique - Congrès ram logique mathématique inriac logique ordre élevé inriac méthode formelle inriac pi calcul inriac théorie démonstration inriac théorie type inriac vérification matériel inriac Logik Automatic theorem proving Congresses Automatisches Beweisverfahren (DE-588)4069034-9 gnd HOL (DE-588)4335765-9 gnd |
| subject_GND | (DE-588)4069034-9 (DE-588)4335765-9 (DE-588)1071861417 |
| title | Theorem proving in higher order logics 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 - 6, 2001 ; proceedings |
| title_auth | Theorem proving in higher order logics 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 - 6, 2001 ; proceedings |
| title_exact_search | Theorem proving in higher order logics 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 - 6, 2001 ; proceedings |
| title_full | Theorem proving in higher order logics 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 - 6, 2001 ; proceedings Richard J. Boulton ; Paul B. Jackson (ed.) |
| title_fullStr | Theorem proving in higher order logics 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 - 6, 2001 ; proceedings Richard J. Boulton ; Paul B. Jackson (ed.) |
| title_full_unstemmed | Theorem proving in higher order logics 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 - 6, 2001 ; proceedings Richard J. Boulton ; Paul B. Jackson (ed.) |
| title_short | Theorem proving in higher order logics |
| title_sort | theorem proving in higher order logics 14th international conference tphols 2001 edinburgh scotland uk september 3 6 2001 proceedings |
| title_sub | 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 - 6, 2001 ; proceedings |
| topic | Automatische bewijsvoering gtt Logica gtt Théorèmes - Démonstration automatique - Congrès Théorèmes - Démonstration automatique - Congrès ram logique mathématique inriac logique ordre élevé inriac méthode formelle inriac pi calcul inriac théorie démonstration inriac théorie type inriac vérification matériel inriac Logik Automatic theorem proving Congresses Automatisches Beweisverfahren (DE-588)4069034-9 gnd HOL (DE-588)4335765-9 gnd |
| topic_facet | Automatische bewijsvoering Logica Théorèmes - Démonstration automatique - Congrès logique mathématique logique ordre élevé méthode formelle pi calcul théorie démonstration théorie type vérification matériel Logik Automatic theorem proving Congresses Automatisches Beweisverfahren HOL Konferenzschrift 2001 Edinburgh |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT boultonrichardj theoremprovinginhigherorderlogics14thinternationalconferencetphols2001edinburghscotlandukseptember362001proceedings AT tpholsedinburgh theoremprovinginhigherorderlogics14thinternationalconferencetphols2001edinburghscotlandukseptember362001proceedings |