Mathematical Knowledge Management
Mathematical Knowledge Management
Andrea Asperti
,
Bruno Buchberger
,
James Harold Davenport
Details
OL Work ID
OL27327481W
Subjects
Mathematics, data processing
Information storage and retrieval systems
Automatic theorem proving
Find this book
Open Library