Dynamic theorem proving algorithm for consistency-based...

Expert Systems with Applications 2011 Vol. 38; Iss. 6

Dynamic theorem proving algorithm for consistency-based diagnosis

Li-Ming Zhang, Hai-Lin Zeng, Fang-Yang, Dan-Tong Ouyang
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:
38
Year:
2011
Language:
english
Pages:
6
DOI:
10.1016/j.eswa.2010.12.117
File:
PDF, 314 KB
english, 2011
Conversion to is in progress
Conversion to is failed