An Efficient Derivation for Elementary Formal Systems Based on Partial Unification.

Noriko Sugimoto Hiroki Ishizaka Takeshi Shinohara

Published in: Discovery Science (2001)

Keyphrases

distributed systems
management system
artificial intelligence
decision making
expert systems
real world
formal methods
systems require