Mathematical Knowledge Management
Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Andrea Asperti
Themen in »Mathematical Knowledge Management«
LaTeX Variable calculus equation expert systems formal logic mathematical knowledge representation mathematical libraries mathematics mathematics retrieval proof semantic web theorem theorem proving verification
Stimmen zu »Mathematical Knowledge Management«
Details
ISBN: 9783540278184
Verlag: Springer Berlin
Erscheinung: 08.09.2004