Automated Theorem Proving in Multiple Valued Logics

Cached

Download Links

by Reiner Hähnle , Project M. D'agostino , J. Dix , I. Gent , M. Kummer , J. Lu , B. Ludascher , N. Murray , J. Posegga , W. Reif , E. Rosenthal , Karlsruhe R. H
Citations:6 - 0 self