booktheque

Towards Mechanized Mathematical Assistants

Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger · 2007

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2007
Language
English
Publisher
Springer London, Limited
Editions
1
ISBN
9783540730866

Data source: Wikidata

More by Manuel Kauers

The Concrete Tetrahedron
Manuel Kauers · 2011
D-Finite Functions
Manuel Kauers · 2024