Using mixed-type reasoning in computer-a
β
JUENG-SHING HWANG; WILLIAM A. MILLER
π
Article
π
1997
π
Springer US
π
English
β 401 KB