Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer International Publishing
2015
|
| Schriftenreihe: | Lecture Notes in Computer Science
9201 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (IX, 181 S.) graph. Darst. |
| ISBN: | 9783319213620 9783319213613 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-21362-0 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042730392 | ||
| 003 | DE-604 | ||
| 005 | 20150806 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150803s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319213620 |c Online |9 978-3-319-21362-0 | ||
| 020 | |a 9783319213613 |c Print |9 978-3-319-21361-3 | ||
| 024 | 7 | |a 10.1007/978-3-319-21362-0 |2 doi | |
| 035 | |a (OCoLC)915738835 | ||
| 035 | |a (DE-599)BVBBV042730392 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 006.3 |2 23 | |
| 084 | |a DAT 702f |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a MAT 500f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Automated Deduction in Geometry |b 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers |c edited by Francisco Botana, Pedro Quaresma |
| 264 | 1 | |a Cham |b Springer International Publishing |c 2015 | |
| 300 | |a 1 Online-Ressource (IX, 181 S.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9201 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computational complexity | |
| 650 | 4 | |a Algebra / Data processing | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer graphics | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Computer Graphics | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Symbolic and Algebraic Manipulation | |
| 650 | 4 | |a Discrete Mathematics in Computer Science | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 0 | 7 | |a Geometrie |0 (DE-588)4020236-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2014 |z Coimbra |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 | |
| 700 | 1 | |a Botana, Francisco |e Sonstige |0 (DE-588)1075023181 |4 oth | |
| 711 | 2 | |a ADG |n 10. |d 2014 |c Coimbra |j Sonstige |0 (DE-588)1074950453 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9201 |w (DE-604)BV014880109 |9 9201 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-21362-0 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161423&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161423&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028161423 | ||
Datensatz im Suchindex
| _version_ | 1804174941991469056 |
|---|---|
| adam_text | AUTOMATED DEDUCTION IN GEOMETRY
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
STAR UNFOLDING POLYGONS
VOLUME FRAMEWORKS AND DEFORMATION VARIETIES
RECENT ADVANCES IN REAL GEOMETRIC REASONING
THE RELATION TOOL IN GEOGEBRA
COMPUTER THEOREM PROVING FOR VERIFIABLE SOLVING OF GEOMETRIC
CONSTRUCTION PROBLEMS
INTEGRATED CIRCUMRADIUS AND AREA FORMULAE FOR CYCLIC PENTAGONS AND
HEXAGONS
EXTENSION OF SIMSON-WALLACE THEOREM ON SKEW QUADRILATERALS
CURRENT STATUS OF THE I2GATP COMMON FORMAT
ON FLATTENABILITY OF GRAPHS
DISCOVERING GEOMETRIC THEOREMS FROM SCANNED AND PHOTOGRAPHED IMAGES OF
DIAGRAMS
COMBINATORIAL RIGIDITY AND INDEPENDENCE OF GENERALIZED PINNED
SUBSPACE-INCIDENCE CONSTRAINT SYSTEMS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
AUTOMATED DEDUCTION IN GEOMETRY
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE THOROUGHLY REFEREED POST-WORKSHOP PROCEEDINGS
OF THE 10TH INTERNATIONAL WORKSHOP ON AUTOMATED DEDUCTION IN GEOMETRY,
ADG 2014, HELD IN COIMBRA, PORTUGAL, IN JULY 2014. THE 11 REVISED FULL
PAPERS PRESENTED IN THIS VOLUME WERE CAREFULLY SELECTED FROM 20
SUBMISSIONS. THE PAPERS SHOW THE TREND SET OF CURRENT RESEARCH IN
AUTOMATED REASONING IN GEOMETRY
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author_GND | (DE-588)1075023181 |
| building | Verbundindex |
| bvnumber | BV042730392 |
| classification_tum | DAT 702f DAT 706f MAT 500f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)915738835 (DE-599)BVBBV042730392 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| doi_str_mv | 10.1007/978-3-319-21362-0 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03246nmm a2200721zcb4500</leader><controlfield tag="001">BV042730392</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150806 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150803s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319213620</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-21362-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319213613</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-21361-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-21362-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)915738835</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042730392</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-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 702f</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="084" ind1=" " ind2=" "><subfield code="a">MAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</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">10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers</subfield><subfield code="c">edited by Francisco Botana, Pedro Quaresma</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (IX, 181 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">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="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9201</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra / Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer graphics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Graphics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Symbolic and Algebraic Manipulation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete Mathematics in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</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="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="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2014</subfield><subfield code="z">Coimbra</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="700" ind1="1" ind2=" "><subfield code="a">Botana, Francisco</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1075023181</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ADG</subfield><subfield code="n">10.</subfield><subfield code="d">2014</subfield><subfield code="c">Coimbra</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1074950453</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">9201</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9201</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-21362-0</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161423&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161423&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028161423</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2014 Coimbra gnd-content |
| genre_facet | Konferenzschrift 2014 Coimbra |
| id | DE-604.BV042730392 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:08:24Z |
| institution | BVB |
| institution_GND | (DE-588)1074950453 |
| isbn | 9783319213620 9783319213613 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028161423 |
| oclc_num | 915738835 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (IX, 181 S.) graph. Darst. |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer International Publishing |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers edited by Francisco Botana, Pedro Quaresma Cham Springer International Publishing 2015 1 Online-Ressource (IX, 181 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9201 0302-9743 Computer science Software engineering Computational complexity Algebra / Data processing Artificial intelligence Computer graphics Computer Science Artificial Intelligence (incl. Robotics) Computer Graphics Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Software Engineering Datenverarbeitung Informatik Künstliche Intelligenz Geometrie (DE-588)4020236-7 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2014 Coimbra gnd-content Geometrie (DE-588)4020236-7 s Automatisches Beweisverfahren (DE-588)4069034-9 s DE-604 Botana, Francisco Sonstige (DE-588)1075023181 oth ADG 10. 2014 Coimbra Sonstige (DE-588)1074950453 oth Lecture Notes in Computer Science 9201 (DE-604)BV014880109 9201 https://doi.org/10.1007/978-3-319-21362-0 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161423&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161423&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers Lecture Notes in Computer Science Computer science Software engineering Computational complexity Algebra / Data processing Artificial intelligence Computer graphics Computer Science Artificial Intelligence (incl. Robotics) Computer Graphics Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Software Engineering Datenverarbeitung Informatik Künstliche Intelligenz Geometrie (DE-588)4020236-7 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| subject_GND | (DE-588)4020236-7 (DE-588)4069034-9 (DE-588)1071861417 |
| title | Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers |
| title_auth | Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers |
| title_exact_search | Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers |
| title_full | Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers edited by Francisco Botana, Pedro Quaresma |
| title_fullStr | Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers edited by Francisco Botana, Pedro Quaresma |
| title_full_unstemmed | Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers edited by Francisco Botana, Pedro Quaresma |
| title_short | Automated Deduction in Geometry |
| title_sort | automated deduction in geometry 10th international workshop adg 2014 coimbra portugal july 9 11 2014 revised selected papers |
| title_sub | 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers |
| topic | Computer science Software engineering Computational complexity Algebra / Data processing Artificial intelligence Computer graphics Computer Science Artificial Intelligence (incl. Robotics) Computer Graphics Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Software Engineering Datenverarbeitung Informatik Künstliche Intelligenz Geometrie (DE-588)4020236-7 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| topic_facet | Computer science Software engineering Computational complexity Algebra / Data processing Artificial intelligence Computer graphics Computer Science Artificial Intelligence (incl. Robotics) Computer Graphics Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Software Engineering Datenverarbeitung Informatik Künstliche Intelligenz Geometrie Automatisches Beweisverfahren Konferenzschrift 2014 Coimbra |
| url | https://doi.org/10.1007/978-3-319-21362-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161423&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161423&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT botanafrancisco automateddeductioningeometry10thinternationalworkshopadg2014coimbraportugaljuly9112014revisedselectedpapers AT adgcoimbra automateddeductioningeometry10thinternationalworkshopadg2014coimbraportugaljuly9112014revisedselectedpapers |