Logic for programming and automated reasoning: 7th international conference, LPAR 2000, Reunion Island, France, November 6 - 10, 2000 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2000
|
| Schriftenreihe: | Lecture notes in computer science
1955 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Beschreibung: | XIII, 486 S. |
| ISBN: | 3540412859 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013411352 | ||
| 003 | DE-604 | ||
| 005 | 20110325 | ||
| 007 | t| | ||
| 008 | 001024s2000 gw |||| 10||| eng d | ||
| 016 | 7 | |a 959949763 |2 DE-101 | |
| 020 | |a 3540412859 |9 3-540-41285-9 | ||
| 035 | |a (OCoLC)45310332 | ||
| 035 | |a (DE-599)BVBBV013411352 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-739 |a DE-384 |a DE-83 |a DE-706 |a DE-188 | ||
| 050 | 0 | |a QA76.63 | |
| 082 | 0 | |a 005.1/15 |2 21 | |
| 084 | |a DAT 540f |2 stub | ||
| 245 | 1 | 0 | |a Logic for programming and automated reasoning |b 7th international conference, LPAR 2000, Reunion Island, France, November 6 - 10, 2000 ; proceedings |c Michel Parigot ; Andrei Voronkov (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2000 | |
| 300 | |a XIII, 486 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 1955 : Lecture notes in artificial intelligence | |
| 650 | 7 | |a Automatische bewijsvoering |2 gtt | |
| 650 | 7 | |a Logisch programmeren |2 gtt | |
| 650 | 4 | |a Programmation logique - Congrès | |
| 650 | 7 | |a Programmation logique - Congrès |2 ram | |
| 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 calcul logique |2 inriac | |
| 650 | 7 | |a déduction automatique |2 inriac | |
| 650 | 7 | |a démonstration théorème |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a raisonnement automatique |2 inriac | |
| 650 | 7 | |a vérification formelle |2 inriac | |
| 650 | 4 | |a Automatic theorem proving |v Congresses | |
| 650 | 4 | |a Logic programming |v Congresses | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2000 |z Reunion |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Parigot, Michel |d 1956- |e Sonstige |0 (DE-588)122403169 |4 oth | |
| 711 | 2 | |a LPAR |n 7 |d 2000 |c Saint-Gilles-les-Bains |j Sonstige |0 (DE-588)10010098-3 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1955 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 1955 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009152081 | |
Datensatz im Suchindex
| _version_ | 1820874898381209600 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)122403169 |
| building | Verbundindex |
| bvnumber | BV013411352 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.63 |
| callnumber-search | QA76.63 |
| callnumber-sort | QA 276.63 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 540f |
| ctrlnum | (OCoLC)45310332 (DE-599)BVBBV013411352 |
| dewey-full | 005.1/15 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/15 |
| dewey-search | 005.1/15 |
| dewey-sort | 15.1 215 |
| 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">BV013411352</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110325</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">001024s2000 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">959949763</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540412859</subfield><subfield code="9">3-540-41285-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)45310332</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013411352</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-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.63</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/15</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic for programming and automated reasoning</subfield><subfield code="b">7th international conference, LPAR 2000, Reunion Island, France, November 6 - 10, 2000 ; proceedings</subfield><subfield code="c">Michel Parigot ; Andrei Voronkov (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">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 486 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">1955 : Lecture notes in artificial intelligence</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">Logisch programmeren</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation logique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation logique - Congrès</subfield><subfield code="2">ram</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">calcul logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">déduction automatique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">démonstration théorème</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">raisonnement automatique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification formelle</subfield><subfield code="2">inriac</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">Logic programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</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">Reunion</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Parigot, Michel</subfield><subfield code="d">1956-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)122403169</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LPAR</subfield><subfield code="n">7</subfield><subfield code="d">2000</subfield><subfield code="c">Saint-Gilles-les-Bains</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10010098-3</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">1955 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1955</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009152081</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2000 Reunion gnd-content |
| genre_facet | Konferenzschrift 2000 Reunion |
| id | DE-604.BV013411352 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:07:02Z |
| institution | BVB |
| institution_GND | (DE-588)10010098-3 |
| isbn | 3540412859 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009152081 |
| oclc_num | 45310332 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-384 DE-83 DE-706 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-384 DE-83 DE-706 DE-188 |
| physical | XIII, 486 S. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Logic for programming and automated reasoning 7th international conference, LPAR 2000, Reunion Island, France, November 6 - 10, 2000 ; proceedings Michel Parigot ; Andrei Voronkov (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2000 XIII, 486 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1955 : Lecture notes in artificial intelligence Automatische bewijsvoering gtt Logisch programmeren gtt Programmation logique - Congrès Programmation logique - Congrès ram Théorèmes - Démonstration automatique - Congrès Théorèmes - Démonstration automatique - Congrès ram calcul logique inriac déduction automatique inriac démonstration théorème inriac programmation en logique inriac raisonnement automatique inriac vérification formelle inriac Automatic theorem proving Congresses Logic programming Congresses Logische Programmierung (DE-588)4195096-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2000 Reunion gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Parigot, Michel 1956- Sonstige (DE-588)122403169 oth LPAR 7 2000 Saint-Gilles-les-Bains Sonstige (DE-588)10010098-3 oth Lecture notes in computer science 1955 : Lecture notes in artificial intelligence (DE-604)BV000000607 1955 |
| spellingShingle | Logic for programming and automated reasoning 7th international conference, LPAR 2000, Reunion Island, France, November 6 - 10, 2000 ; proceedings Lecture notes in computer science Automatische bewijsvoering gtt Logisch programmeren gtt Programmation logique - Congrès Programmation logique - Congrès ram Théorèmes - Démonstration automatique - Congrès Théorèmes - Démonstration automatique - Congrès ram calcul logique inriac déduction automatique inriac démonstration théorème inriac programmation en logique inriac raisonnement automatique inriac vérification formelle inriac Automatic theorem proving Congresses Logic programming Congresses Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)1071861417 |
| title | Logic for programming and automated reasoning 7th international conference, LPAR 2000, Reunion Island, France, November 6 - 10, 2000 ; proceedings |
| title_auth | Logic for programming and automated reasoning 7th international conference, LPAR 2000, Reunion Island, France, November 6 - 10, 2000 ; proceedings |
| title_exact_search | Logic for programming and automated reasoning 7th international conference, LPAR 2000, Reunion Island, France, November 6 - 10, 2000 ; proceedings |
| title_full | Logic for programming and automated reasoning 7th international conference, LPAR 2000, Reunion Island, France, November 6 - 10, 2000 ; proceedings Michel Parigot ; Andrei Voronkov (ed.) |
| title_fullStr | Logic for programming and automated reasoning 7th international conference, LPAR 2000, Reunion Island, France, November 6 - 10, 2000 ; proceedings Michel Parigot ; Andrei Voronkov (ed.) |
| title_full_unstemmed | Logic for programming and automated reasoning 7th international conference, LPAR 2000, Reunion Island, France, November 6 - 10, 2000 ; proceedings Michel Parigot ; Andrei Voronkov (ed.) |
| title_short | Logic for programming and automated reasoning |
| title_sort | logic for programming and automated reasoning 7th international conference lpar 2000 reunion island france november 6 10 2000 proceedings |
| title_sub | 7th international conference, LPAR 2000, Reunion Island, France, November 6 - 10, 2000 ; proceedings |
| topic | Automatische bewijsvoering gtt Logisch programmeren gtt Programmation logique - Congrès Programmation logique - Congrès ram Théorèmes - Démonstration automatique - Congrès Théorèmes - Démonstration automatique - Congrès ram calcul logique inriac déduction automatique inriac démonstration théorème inriac programmation en logique inriac raisonnement automatique inriac vérification formelle inriac Automatic theorem proving Congresses Logic programming Congresses Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Automatische bewijsvoering Logisch programmeren Programmation logique - Congrès Théorèmes - Démonstration automatique - Congrès calcul logique déduction automatique démonstration théorème programmation en logique raisonnement automatique vérification formelle Automatic theorem proving Congresses Logic programming Congresses Logische Programmierung Konferenzschrift 2000 Reunion |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT parigotmichel logicforprogrammingandautomatedreasoning7thinternationalconferencelpar2000reunionislandfrancenovember6102000proceedings AT lparsaintgilleslesbains logicforprogrammingandautomatedreasoning7thinternationalconferencelpar2000reunionislandfrancenovember6102000proceedings |