A Change-Oriented Architecture for Mathematical Authoring Assistance

A Change-Oriented Architecture for Mathematical Authoring Assistance (Dissertations in Artificial Intelligence; V.333) - Dissertations in Artificial In

Paperback (01 Jan 2011)

Not available for sale

Includes delivery to the United States

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

The computer-assisted authoring of mathematical documents using a scientific text-editor requires new mathematical knowledge management and transformation techniques. The challenge is that, throughout an assistance system like the OMEGA system, various"

Book information

ISBN: 9781607507123
Publisher: IOS Press
Imprint: IOS Press
Pub date:
Language: English
Number of pages: 312
Weight: 508g
Height: 210mm
Width: 148mm
Spine width: 20mm