About CONSTABLE R L
About Cornell Univ., NY, USA
About SMITH S F
About Cornell Univ., NY, USA
About Proceedings. Symposium on Logic in Computer Science, 1987
About knowledge base
About System programmings in general
About Artificial intelligence
About 型理論
About オブジェクト