A Framework for Automated Reasoning in Multiple-Valued...

Journal of Automated Reasoning 1998 / 08 Vol. 21; Iss. 1

A Framework for Automated Reasoning in Multiple-Valued Logics

James J. Lu, Neil V. Murray, Erik Rosenthal
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:
21
Language:
english
Pages:
29
DOI:
10.1023/a:1005784309139
Date:
August, 1998
File:
PDF, 308 KB
english, 1998
Conversion to is in progress
Conversion to is failed