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:   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"--P. [4] of cover.
Description: xii, 556 p. : ill. ; 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


<http://www.worldcat.org/oclc/63200315>
library:oclcnum"63200315"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/63200315>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
schema:copyrightYear"2005"
schema:datePublished"2005"
schema:exampleOfWork<http://worldcat.org/entity/work/id/899319678>
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"
schema:numberOfPages"556"
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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