Amanote Research
Register
Sign In
A Multiple-Conclusion Meta-Logic
doi 10.1109/lics.1994.316062
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
D. Miller
Publisher
IEEE Comput. Soc. Press