An algebraic manipulation system using meta-level inference based on human heuristics:
Saved in:
Bibliographic Details
Format: Book
Language:English
Published: Tokyo, Japan 1985
Series:Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 140
Subjects:
Physical Description:19 S.

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!