Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, ... Notes in Computer Science Book 4573)

Full Title:	Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, ... Notes in Computer Science Book 4573)
ISBN:	3540730869
ISBN13:	9783540730866
Authors:	Manuel Kauers Manfred Kerber Robert Miner Wolfgang Windsteiger
Publisher:	Random Publisher
Edition:	1st
Publish Date:	2020
Binding:	Hardcover
Pages:	300 pages
Synopsis:	Lorem ipsum dolor sit amet...
Language:	English
Subjects:	Random Subject

Need full data? Sign up and get access to the full database of over 43 million books.

Get access to ISBNdb book data API

Access ISBNdb extensive book database via API. Over 43 million books & 19 data items per book to enhance your project. Subscription plans start at $14.95/mo. Free 7-day trial.

ESTELAR SOFTWARE UNIPESSOAL LDA, Funchal, Portugal