Camelia Rosenkranz,
"Retrieval and Structuring of Large Mathematical Knowledge Bases in Theorema"
, Serie Research Institute for Symbolic Computation, Johannes Kepler University of Linz, Austria, 2-2009
Original Titel:
Retrieval and Structuring of Large Mathematical Knowledge Bases in Theorema
Sprache des Titels:
Englisch
Serie:
Research Institute for Symbolic Computation, Johannes Kepler University of Linz, Austria