InhaltsangabeComputer algebra in physical research of jinr.- Complexity of quantifier elimination...

This book constitutes the joint refereed proceedings of three international events, namely the 18...

Digitisation,Representation,andFormalisation (DigitalLibrariesofMathematics). 1 Andrew A. Adams M...

This book (hardcover) is part of the TREDITION CLASSICS. It contains classical literature works f...

A Classified List of Printed Original Materials for English Manorial and Agrarian History During ...

InhaltsangabeInvited Talks.-What International Studies Say about the Importance and Limitations o...

This book is part of the TREDITION CLASSICS. It contains classical literature works from over two...

This book constitutes the proceedings of the 6th International Conference on Mathematical Softwar...

This book constitutes the proceedings of the 7th International Conference on Mathematical Softwar...