Ohsuga, Setsuo "Predicate Logic Involving Data Structure as a Knowledge"
(1983)
[Proceedings] (1983)
ICJCAI 83: Proceedings of the Eighth International Joint Conference on Artificial Intelligence, Alan Bundy, editor, Karlsruhe, Germany, August 1983
Languages mentioned
Ohsuga KRL
{1980}