Home > Authors > Manuel Kauers > Towards Mechanized Mathematical Assistants

Buy at: Bookshop.org Amazon

Towards Mechanized Mathematical Assistants

Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger

Recent activity

Rate this book to see your activity here.

2 Books Similar to Towards Mechanized Mathematical Assistants by Manuel Kauers

Bookscovery readers who liked Towards Mechanized Mathematical Assistants also like Computational Logic CL 2000 00, and Algorithmische Methoden. How many of these have you read?

Computational Logic CL 2000 00 by John Lloyd - undifferentiated

Cover of Computational Logic CL 2000 00

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Algorithmische Methoden by Philipp Kügler

Cover of Algorithmische Methoden

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Comments and reviews of Towards Mechanized Mathematical Assistants

Please sign in to leave a comment