Automated Deduction Techniques for Classification in...

Journal of Automated Reasoning 1998 / 06 Vol. 20; Iss. 3

Automated Deduction Techniques for Classification in Description Logic Systems

M. Paramasivam, David A. Plaisted
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
20
Language:
english
Pages:
28
DOI:
10.1023/a:1005866922570
Date:
June, 1998
File:
PDF, 576 KB
english, 1998
Conversion to is in progress
Conversion to is failed