"An Efficient Indefiniteness Inference Scheme in Indefinite Deductive ..."

Cyril S. Ku, Heung D. Kim, Lawrence J. Henschen (1994)

Details and statistics

DOI: 10.1109/69.317702

access: closed

type: Journal Article

metadata version: 2023-09-30

a service of  Schloss Dagstuhl - Leibniz Center for Informatics