Gentzen-Type Formel System Representing Properties of Function and its Implementation.

T. Nishimura M. Nakanishi M. Nogeta Y. Iwamaru

Published in: IJCAI (1975)

Keyphrases

databases
real time
computer vision
multi agent systems
real world
information retrieval
e learning
case study
high level
data structure
lower bound
relational databases
probability distribution
description logics