A Search Engine for Mathematical Formulae
From MaRDI portal
Publication:5302917
DOI10.1007/11856290_21zbMath1156.68306WikidataQ63184524 ScholiaQ63184524MaRDI QIDQ5302917
Michael Kohlhase, Ioan A. Şucan
Publication date: 15 January 2009
Published in: Artificial Intelligence and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11856290_21
68M10: Network design and communication in computer systems
68P20: Information storage and retrieval of data
Related Items
Uses Software