An automated system for symbolic approximate reasoning

Hsing-Tai Chung. An automated system for symbolic approximate reasoning. PhD thesis, Florida State University, Tallahassee, USA, 1994.

Abstract

Abstract is missing.