Multi-Layer Logic - A Predicate Logic Including Data Structure as Knowledge Representation Language

Setsuo Ohsuga, Hiroyuki Yamauchi. Multi-Layer Logic - A Predicate Logic Including Data Structure as Knowledge Representation Language. New Generation Comput., 3(4):403-439, 1985.

Abstract

Abstract is missing.