"MathServe: a framework for semantic reasoning services."

Jürgen Zimmer (2008)

Details and statistics

DOI:

access: closed

type: Book or Thesis

metadata version: 2023-03-22