skip to content
Algorithmic algebra and logic : proceedings of the A3L 2005, April 3-6, Passau, Germany conference in honor of the 60th birthday of Volker Weispfenning Preview this item
ClosePreview this item
Checking...

Algorithmic algebra and logic : proceedings of the A3L 2005, April 3-6, Passau, Germany conference in honor of the 60th birthday of Volker Weispfenning

Author: Andreas Dolzmann; Andreas Seidl; Thomas Sturm; Volker Weispfenning
Publisher: Nordersted [Germany] : Herstellung und Verlag : Books on Demand, ©2005.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Named Person: Volker Weispfenning; Volker Weispfenning
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Andreas Dolzmann; Andreas Seidl; Thomas Sturm; Volker Weispfenning
ISBN: 3833426691 9783833426698
OCLC Number: 63200315
Notes: "Includes V. Weispfenning's Model theory of lattice products."
"This volume contains 46 extended abstracts together with three invited talk abstracts presented at the 2005 conference Algorithmic Algebra and Logic. The conference was held at the University of Passau, Germany, on April 3-6, 2005, in honor of the 60th birthday of Volker Weispfenning"--Page 4 of cover.
Description: xii, 556 pages : illustrations ; 22 cm
Responsibility: [Andreas] Dolzmann, [Andreas] Seidl, [Thomas] Sturm (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/63200315> # Algorithmic algebra and logic : proceedings of the A3L 2005, April 3-6, Passau, Germany conference in honor of the 60th birthday of Volker Weispfenning
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "63200315" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/899319678#Place/nordersted_germany> ; # Nordersted Germany
   rdfs:seeAlso <http://experiment.worldcat.org/entity/work/data/899319678#CreativeWork/model_theory_of_lattice_products> ; # Model theory of lattice products.
   schema:about <http://experiment.worldcat.org/entity/work/data/899319678#Person/weispfenning_volker_1944> ; # Volker Weispfenning
   schema:about <http://viaf.org/viaf/49312814> ; # Volker Weispfenning
   schema:about <http://id.worldcat.org/fast/804890> ; # Algebra--Data processing
   schema:about <http://id.worldcat.org/fast/804936> ; # Algebraic logic
   schema:about <http://id.loc.gov/authorities/subjects/sh2007100982> ; # Algebra--Data processing
   schema:about <http://id.loc.gov/authorities/classification/B> ;
   schema:about <http://dewey.info/class/830/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/899319678#Person/weispfenning_volker_1944> ; # Volker Weispfenning
   schema:contributor <http://experiment.worldcat.org/entity/work/data/899319678#Person/sturm_thomas> ; # Thomas Sturm
   schema:contributor <http://experiment.worldcat.org/entity/work/data/899319678#Person/seidl_andreas> ; # Andreas Seidl
   schema:contributor <http://viaf.org/viaf/37607222> ; # Andreas Dolzmann
   schema:copyrightYear "2005" ;
   schema:datePublished "2005" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/899319678> ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:name "Algorithmic algebra and logic : proceedings of the A3L 2005, April 3-6, Passau, Germany conference in honor of the 60th birthday of Volker Weispfenning"@en ;
   schema:productID "63200315" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/63200315#PublicationEvent/nordersted_germany_herstellung_und_verlag_books_on_demand_2005> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/899319678#Agent/books_on_demand> ; # Books on Demand
   schema:publisher <http://experiment.worldcat.org/entity/work/data/899319678#Agent/herstellung_und_verlag> ; # Herstellung und Verlag
   schema:workExample <http://worldcat.org/isbn/9783833426698> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/63200315> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/899319678#Agent/books_on_demand> # Books on Demand
    a bgn:Agent ;
   schema:name "Books on Demand" ;
    .

<http://experiment.worldcat.org/entity/work/data/899319678#Agent/herstellung_und_verlag> # Herstellung und Verlag
    a bgn:Agent ;
   schema:name "Herstellung und Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/899319678#Person/seidl_andreas> # Andreas Seidl
    a schema:Person ;
   schema:familyName "Seidl" ;
   schema:givenName "Andreas" ;
   schema:name "Andreas Seidl" ;
    .

<http://experiment.worldcat.org/entity/work/data/899319678#Person/sturm_thomas> # Thomas Sturm
    a schema:Person ;
   schema:familyName "Sturm" ;
   schema:givenName "Thomas" ;
   schema:name "Thomas Sturm" ;
    .

<http://experiment.worldcat.org/entity/work/data/899319678#Person/weispfenning_volker_1944> # Volker Weispfenning
    a schema:Person ;
   schema:birthDate "1944" ;
   schema:familyName "Weispfenning" ;
   schema:givenName "Volker" ;
   schema:name "Volker Weispfenning" ;
    .

<http://experiment.worldcat.org/entity/work/data/899319678#Place/nordersted_germany> # Nordersted Germany
    a schema:Place ;
   schema:name "Nordersted Germany" ;
    .

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

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

<http://id.worldcat.org/fast/804936> # Algebraic logic
    a schema:Intangible ;
   schema:name "Algebraic logic"@en ;
    .

<http://viaf.org/viaf/37607222> # Andreas Dolzmann
    a schema:Person ;
   schema:familyName "Dolzmann" ;
   schema:givenName "Andreas" ;
   schema:name "Andreas Dolzmann" ;
    .

<http://viaf.org/viaf/49312814> # Volker Weispfenning
    a schema:Person ;
   schema:birthDate "1944" ;
   schema:familyName "Weispfenning" ;
   schema:givenName "Volker" ;
   schema:name "Volker Weispfenning" ;
    .

<http://worldcat.org/isbn/9783833426698>
    a schema:ProductModel ;
   schema:isbn "3833426691" ;
   schema:isbn "9783833426698" ;
    .

<http://www.worldcat.org/title/-/oclc/63200315>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/63200315> ; # Algorithmic algebra and logic : proceedings of the A3L 2005, April 3-6, Passau, Germany conference in honor of the 60th birthday of Volker Weispfenning
   schema:dateModified "2017-04-01" ;
   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.