F-logic: a higher-order language for reasoning about objects, inheritance, and scheme

Publisher Website

1 January 1989

proceedings article
Published by Association for Computing Machinery (ACM)

p. 134-146
https://doi.org/10.1145/67544.66939

Abstract

No abstract available

Cited by 121 articles