Mathematical knowledge management
Mathematical knowledge management
William M. Farmer
,
Jonathan M. Borwein
Details
OL Work ID
OL16932377W
Subjects
Mathematics
Information storage and retrieval systems
Congresses
Data processing
Automatic theorem proving
Mathematics, data processing
Find this book
Open Library