skip to content
Automated deduction in geometry : 8th international workshop, ADG 2010, Munich, Germany, July 22-24, 2010 ; revised selected papers Preview this item
ClosePreview this item
Checking...

Automated deduction in geometry : 8th international workshop, ADG 2010, Munich, Germany, July 22-24, 2010 ; revised selected papers

Author: Julien Narboux; Jürgen Richter-Gebert; Pascal Schreck
Publisher: Berlin [u.a.] Springer 2011
Series: Lecture notes in computer science; Lecture notes in artificial intelligence
Edition/Format:   Computer file : Conference publication : EnglishView all editions and formats
Summary:

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Automated Deduction in Geometry, ADG 2010, held in Munich, Germany in July 2010. The 13  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Kongress
Material Type: Conference publication, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Julien Narboux; Jürgen Richter-Gebert; Pascal Schreck
ISBN: 3642250696 9783642250699 9783642250705 364225070X
OCLC Number: 838807517
Notes: Literaturangaben
Description: Online-Ressource (x, 258 S.)
Series Title: Lecture notes in computer science; Lecture notes in artificial intelligence
Responsibility: Pascal Schreck; Julien Narboux; Jürgen Richter-Gebert (eds.)

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/838807517> # Automated deduction in geometry : 8th international workshop, ADG 2010, Munich, Germany, July 22-24, 2010 ; revised selected papers
    a bgn:ComputerFile, schema:CreativeWork ;
   library:oclcnum "838807517" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3861281743#Place/berlin_u_a> ; # Berlin u.a.
   schema:about <http://id.loc.gov/authorities/subjects/sh87007398> ; # Software engineering
   schema:about <http://id.loc.gov/authorities/subjects/sh85029473> ; # Computational complexity
   schema:about <http://id.loc.gov/authorities/subjects/sh85029500> ; # Computer graphics
   schema:about <http://experiment.worldcat.org/entity/work/data/3861281743#Topic/automatisches_beweisverfahren> ; # Automatisches Beweisverfahren
   schema:about <http://id.loc.gov/authorities/subjects/sh2007100982> ; # Algebra--Data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/3861281743#Topic/geometrische_modellierung> ; # Geometrische Modellierung
   schema:about <http://id.worldcat.org/fast/804890> ; # Algebra--Data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/3861281743#Topic/geometrie> ; # Geometrie
   schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
   schema:about <http://id.worldcat.org/fast/872119> ; # Computer graphics
   schema:about <http://id.loc.gov/authorities/subjects/sh89003285> ; # Computer science
   schema:about <http://id.worldcat.org/fast/871991> ; # Computational complexity
   schema:about <http://id.loc.gov/authorities/subjects/sh85008180> ; # Artificial intelligence
   schema:about <http://experiment.worldcat.org/entity/work/data/3861281743#Topic/computer_science> ; # Computer Science
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://dewey.info/class/004/> ;
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/3861281743#Topic/algebra_data_processing> ; # Algebra--Data processing
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3861281743#Meeting/international_workshop_on_automated_deduction_in_geometry_8_2010_07_22_24_munich> ; # International Workshop on Automated Deduction in Geometry (8 2010.07.22-24 Munich)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3861281743#Meeting/adg_8_2010_07_22_24_munich> ; # ADG (8 2010.07.22-24 Munich)
   schema:contributor <http://viaf.org/viaf/220581139> ; # Julien Narboux
   schema:contributor <http://viaf.org/viaf/102404963> ; # Jürgen Richter-Gebert
   schema:contributor <http://viaf.org/viaf/208877104> ; # Pascal Schreck
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3861281743#Meeting/adg_8_2010_munchen> ; # ADG 8 2010 München
   schema:datePublished "2011" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3861281743> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Kongress" ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3861281743#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> ; # Lecture notes in computer science Lecture notes in artificial intelligence
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3861281743#Series/> ; #
   schema:name "Automated deduction in geometry : 8th international workshop, ADG 2010, Munich, Germany, July 22-24, 2010 ; revised selected papers" ;
   schema:productID "838807517" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/838807517#PublicationEvent/berlin_u_a_springer2011> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3861281743#Agent/springer> ; # Springer
   schema:url <http://www.springerlink.com/content/978-3-642-25070-5> ;
   schema:url <http://d-nb.info/1016924364/34> ;
   schema:url <http://swbplus.bsz-bw.de/bsz354041827cov.htm> ;
   schema:url <http://nbn-resolving.de/urn:nbn:de:1111-201111092847> ;
   schema:url <http://dx.doi.org/10.1007/978-3-642-25070-5> ;
   schema:workExample <http://worldcat.org/isbn/9783642250705> ;
   schema:workExample <http://worldcat.org/isbn/9783642250699> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-642-25070-5> ;
   umbel:isLike <http://d-nb.info/1016924364> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/838807517> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3861281743#Meeting/international_workshop_on_automated_deduction_in_geometry_8_2010_07_22_24_munich> # International Workshop on Automated Deduction in Geometry (8 2010.07.22-24 Munich)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/3861281743#Place/munich> ; # Munich)
   schema:name "International Workshop on Automated Deduction in Geometry (8 2010.07.22-24 Munich)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3861281743#Series/> #
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/838807517> ; # Automated deduction in geometry : 8th international workshop, ADG 2010, Munich, Germany, July 22-24, 2010 ; revised selected papers
   schema:name "" ;
    .

<http://experiment.worldcat.org/entity/work/data/3861281743#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> # Lecture notes in computer science Lecture notes in artificial intelligence
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/838807517> ; # Automated deduction in geometry : 8th international workshop, ADG 2010, Munich, Germany, July 22-24, 2010 ; revised selected papers
   schema:name "Lecture notes in computer science Lecture notes in artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/3861281743#Topic/algebra_data_processing> # Algebra--Data processing
    a schema:Intangible ;
   schema:name "Algebra--Data processing" ;
    .

<http://experiment.worldcat.org/entity/work/data/3861281743#Topic/automatisches_beweisverfahren> # Automatisches Beweisverfahren
    a schema:Intangible ;
   schema:name "Automatisches Beweisverfahren" ;
    .

<http://experiment.worldcat.org/entity/work/data/3861281743#Topic/geometrische_modellierung> # Geometrische Modellierung
    a schema:Intangible ;
   schema:name "Geometrische Modellierung" ;
    .

<http://id.loc.gov/authorities/subjects/sh2007100982> # Algebra--Data processing
    a schema:Intangible ;
   schema:name "Algebra--Data processing" ;
    .

<http://id.loc.gov/authorities/subjects/sh85008180> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence" ;
    .

<http://id.loc.gov/authorities/subjects/sh85029473> # Computational complexity
    a schema:Intangible ;
   schema:name "Computational complexity" ;
    .

<http://id.loc.gov/authorities/subjects/sh85029500> # Computer graphics
    a schema:Intangible ;
   schema:name "Computer graphics" ;
    .

<http://id.loc.gov/authorities/subjects/sh87007398> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering" ;
    .

<http://id.loc.gov/authorities/subjects/sh89003285> # Computer science
    a schema:Intangible ;
   schema:name "Computer science" ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering" ;
    .

<http://id.worldcat.org/fast/804890> # Algebra--Data processing
    a schema:Intangible ;
   schema:name "Algebra--Data processing" ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence" ;
    .

<http://id.worldcat.org/fast/871991> # Computational complexity
    a schema:Intangible ;
   schema:name "Computational complexity" ;
    .

<http://id.worldcat.org/fast/872119> # Computer graphics
    a schema:Intangible ;
   schema:name "Computer graphics" ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science" ;
    .

<http://viaf.org/viaf/102404963> # Jürgen Richter-Gebert
    a schema:Person ;
   schema:familyName "Richter-Gebert" ;
   schema:givenName "Jürgen" ;
   schema:name "Jürgen Richter-Gebert" ;
   schema:sameAs <http://d-nb.info/gnd/111407346> ;
    .

<http://viaf.org/viaf/208877104> # Pascal Schreck
    a schema:Person ;
   schema:familyName "Schreck" ;
   schema:givenName "Pascal" ;
   schema:name "Pascal Schreck" ;
    .

<http://viaf.org/viaf/220581139> # Julien Narboux
    a schema:Person ;
   schema:familyName "Narboux" ;
   schema:givenName "Julien" ;
   schema:name "Julien Narboux" ;
    .

<http://worldcat.org/isbn/9783642250699>
    a schema:ProductModel ;
   schema:isbn "3642250696" ;
   schema:isbn "9783642250699" ;
    .

<http://worldcat.org/isbn/9783642250705>
    a schema:ProductModel ;
   schema:isbn "364225070X" ;
   schema:isbn "9783642250705" ;
    .

<http://www.worldcat.org/title/-/oclc/838807517>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/838807517> ; # Automated deduction in geometry : 8th international workshop, ADG 2010, Munich, Germany, July 22-24, 2010 ; revised selected papers
   schema:dateModified "2017-12-24" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.