Automated deduction in geometry: third international workshop, ADG 2000, Zurich, Switzerland, September 25 - 27, 2000 ; revised papers
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2001
|
| Series: | Lecture notes in computer science
2061 : Lecture notes in artificial intelligence |
| Subjects: | |
| Item Description: | Literaturangaben |
| Physical Description: | VIII, 323 S. graph. Darst. |
| ISBN: | 3540425985 |
Staff View
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013910406 | ||
| 003 | DE-604 | ||
| 005 | 20011025 | ||
| 007 | t| | ||
| 008 | 010904s2001 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 962279595 |2 DE-101 | |
| 020 | |a 3540425985 |9 3-540-42598-5 | ||
| 035 | |a (OCoLC)47996332 | ||
| 035 | |a (DE-599)BVBBV013910406 | ||
| 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-824 |a DE-83 |a DE-706 |a DE-188 | ||
| 050 | 0 | |a QA448.D38 | |
| 082 | 0 | |a 516/.00285 |2 21 | |
| 084 | |a SD 2000 |0 (DE-625)142734: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Automated deduction in geometry |b third international workshop, ADG 2000, Zurich, Switzerland, September 25 - 27, 2000 ; revised papers |c Jürgen Richter-Gebert ; Dongming Wang (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2001 | |
| 300 | |a VIII, 323 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 2061 : Lecture notes in artificial intelligence | |
| 500 | |a Literaturangaben | ||
| 650 | 7 | |a Automatische bewijsvoering |2 gtt | |
| 650 | 4 | |a Géométrie - Informatique - Congrès | |
| 650 | 7 | |a Géométrie - Informatique - Congrès |2 ram | |
| 650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
| 650 | 4 | |a Logique symbolique et mathématique - Congrès | |
| 650 | 7 | |a Meetkunde |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 déduction automatique |2 inriac | |
| 650 | 7 | |a démonstration théorème |2 inriac | |
| 650 | 7 | |a géométrie algorithmique |2 inriac | |
| 650 | 7 | |a géométrie |2 inriac | |
| 650 | 7 | |a raisonnement géométrique |2 inriac | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Automatic theorem proving |v Congresses | |
| 650 | 4 | |a Geometry |x Data processing |v Congresses | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 650 | 0 | 7 | |a Geometrische Modellierung |0 (DE-588)4156717-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Geometrie |0 (DE-588)4020236-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2000 |z Zürich |2 gnd-content | |
| 689 | 0 | 0 | |a Geometrie |0 (DE-588)4020236-7 |D s |
| 689 | 0 | 1 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Geometrische Modellierung |0 (DE-588)4156717-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Richter-Gebert, Jürgen |d 1963- |e Sonstige |0 (DE-588)111407346 |4 oth | |
| 711 | 2 | |a ADG |n 3 |d 2000 |c Zürich |j Sonstige |0 (DE-588)16029211-6 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2061 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 2061 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009517862 | |
Record in the Search Index
| _version_ | 1820874905167593472 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)111407346 |
| building | Verbundindex |
| bvnumber | BV013910406 |
| callnumber-first | Q - Science |
| callnumber-label | QA448 |
| callnumber-raw | QA448.D38 |
| callnumber-search | QA448.D38 |
| callnumber-sort | QA 3448 D38 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SD 2000 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)47996332 (DE-599)BVBBV013910406 |
| dewey-full | 516/.00285 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 516 - Geometry |
| dewey-raw | 516/.00285 |
| dewey-search | 516/.00285 |
| dewey-sort | 3516 3285 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| 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">BV013910406</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20011025</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">010904s2001 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">962279595</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540425985</subfield><subfield code="9">3-540-42598-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)47996332</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013910406</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-824</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">QA448.D38</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">516/.00285</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 2000</subfield><subfield code="0">(DE-625)142734:</subfield><subfield code="2">rvk</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">Automated deduction in geometry</subfield><subfield code="b">third international workshop, ADG 2000, Zurich, Switzerland, September 25 - 27, 2000 ; revised papers</subfield><subfield code="c">Jürgen Richter-Gebert ; Dongming Wang (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">VIII, 323 S.</subfield><subfield code="b">graph. Darst.</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">2061 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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="4"><subfield code="a">Géométrie - Informatique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Géométrie - Informatique - Congrès</subfield><subfield code="2">ram</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="4"><subfield code="a">Logique symbolique et mathématique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Meetkunde</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">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">géométrie algorithmique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">géométrie</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement géométrique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</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">Geometry</subfield><subfield code="x">Data processing</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Geometrische Modellierung</subfield><subfield code="0">(DE-588)4156717-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="650" ind1="0" ind2="7"><subfield code="a">Geometrie</subfield><subfield code="0">(DE-588)4020236-7</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">Zürich</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Geometrie</subfield><subfield code="0">(DE-588)4020236-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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">Geometrische Modellierung</subfield><subfield code="0">(DE-588)4156717-1</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">Richter-Gebert, Jürgen</subfield><subfield code="d">1963-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)111407346</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ADG</subfield><subfield code="n">3</subfield><subfield code="d">2000</subfield><subfield code="c">Zürich</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16029211-6</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">2061 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2061</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009517862</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2000 Zürich gnd-content |
| genre_facet | Konferenzschrift 2000 Zürich |
| id | DE-604.BV013910406 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:07:10Z |
| institution | BVB |
| institution_GND | (DE-588)16029211-6 |
| isbn | 3540425985 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009517862 |
| oclc_num | 47996332 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-824 DE-83 DE-706 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-824 DE-83 DE-706 DE-188 |
| physical | VIII, 323 S. graph. Darst. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Automated deduction in geometry third international workshop, ADG 2000, Zurich, Switzerland, September 25 - 27, 2000 ; revised papers Jürgen Richter-Gebert ; Dongming Wang (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2001 VIII, 323 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2061 : Lecture notes in artificial intelligence Literaturangaben Automatische bewijsvoering gtt Géométrie - Informatique - Congrès Géométrie - Informatique - Congrès ram Kunstmatige intelligentie gtt Logique symbolique et mathématique - Congrès Meetkunde gtt Théorèmes - Démonstration automatique - Congrès Théorèmes - Démonstration automatique - Congrès ram déduction automatique inriac démonstration théorème inriac géométrie algorithmique inriac géométrie inriac raisonnement géométrique inriac Datenverarbeitung Automatic theorem proving Congresses Geometry Data processing Congresses Logic, Symbolic and mathematical Congresses Geometrische Modellierung (DE-588)4156717-1 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Geometrie (DE-588)4020236-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2000 Zürich gnd-content Geometrie (DE-588)4020236-7 s Automatisches Beweisverfahren (DE-588)4069034-9 s DE-604 Geometrische Modellierung (DE-588)4156717-1 s Richter-Gebert, Jürgen 1963- Sonstige (DE-588)111407346 oth ADG 3 2000 Zürich Sonstige (DE-588)16029211-6 oth Lecture notes in computer science 2061 : Lecture notes in artificial intelligence (DE-604)BV000000607 2061 |
| spellingShingle | Automated deduction in geometry third international workshop, ADG 2000, Zurich, Switzerland, September 25 - 27, 2000 ; revised papers Lecture notes in computer science Automatische bewijsvoering gtt Géométrie - Informatique - Congrès Géométrie - Informatique - Congrès ram Kunstmatige intelligentie gtt Logique symbolique et mathématique - Congrès Meetkunde gtt Théorèmes - Démonstration automatique - Congrès Théorèmes - Démonstration automatique - Congrès ram déduction automatique inriac démonstration théorème inriac géométrie algorithmique inriac géométrie inriac raisonnement géométrique inriac Datenverarbeitung Automatic theorem proving Congresses Geometry Data processing Congresses Logic, Symbolic and mathematical Congresses Geometrische Modellierung (DE-588)4156717-1 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Geometrie (DE-588)4020236-7 gnd |
| subject_GND | (DE-588)4156717-1 (DE-588)4069034-9 (DE-588)4020236-7 (DE-588)1071861417 |
| title | Automated deduction in geometry third international workshop, ADG 2000, Zurich, Switzerland, September 25 - 27, 2000 ; revised papers |
| title_auth | Automated deduction in geometry third international workshop, ADG 2000, Zurich, Switzerland, September 25 - 27, 2000 ; revised papers |
| title_exact_search | Automated deduction in geometry third international workshop, ADG 2000, Zurich, Switzerland, September 25 - 27, 2000 ; revised papers |
| title_full | Automated deduction in geometry third international workshop, ADG 2000, Zurich, Switzerland, September 25 - 27, 2000 ; revised papers Jürgen Richter-Gebert ; Dongming Wang (ed.) |
| title_fullStr | Automated deduction in geometry third international workshop, ADG 2000, Zurich, Switzerland, September 25 - 27, 2000 ; revised papers Jürgen Richter-Gebert ; Dongming Wang (ed.) |
| title_full_unstemmed | Automated deduction in geometry third international workshop, ADG 2000, Zurich, Switzerland, September 25 - 27, 2000 ; revised papers Jürgen Richter-Gebert ; Dongming Wang (ed.) |
| title_short | Automated deduction in geometry |
| title_sort | automated deduction in geometry third international workshop adg 2000 zurich switzerland september 25 27 2000 revised papers |
| title_sub | third international workshop, ADG 2000, Zurich, Switzerland, September 25 - 27, 2000 ; revised papers |
| topic | Automatische bewijsvoering gtt Géométrie - Informatique - Congrès Géométrie - Informatique - Congrès ram Kunstmatige intelligentie gtt Logique symbolique et mathématique - Congrès Meetkunde gtt Théorèmes - Démonstration automatique - Congrès Théorèmes - Démonstration automatique - Congrès ram déduction automatique inriac démonstration théorème inriac géométrie algorithmique inriac géométrie inriac raisonnement géométrique inriac Datenverarbeitung Automatic theorem proving Congresses Geometry Data processing Congresses Logic, Symbolic and mathematical Congresses Geometrische Modellierung (DE-588)4156717-1 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Geometrie (DE-588)4020236-7 gnd |
| topic_facet | Automatische bewijsvoering Géométrie - Informatique - Congrès Kunstmatige intelligentie Logique symbolique et mathématique - Congrès Meetkunde Théorèmes - Démonstration automatique - Congrès déduction automatique démonstration théorème géométrie algorithmique géométrie raisonnement géométrique Datenverarbeitung Automatic theorem proving Congresses Geometry Data processing Congresses Logic, Symbolic and mathematical Congresses Geometrische Modellierung Automatisches Beweisverfahren Geometrie Konferenzschrift 2000 Zürich |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT richtergebertjurgen automateddeductioningeometrythirdinternationalworkshopadg2000zurichswitzerlandseptember25272000revisedpapers AT adgzurich automateddeductioningeometrythirdinternationalworkshopadg2000zurichswitzerlandseptember25272000revisedpapers |