Note on Effective Constructibility of Resolution Proof Systems.

Zbigniew Stachniak

Published in: JELIA (1990)

Keyphrases

complex systems
database
expert systems
intelligent systems
real world
artificial intelligence
information systems
multi agent
artificial neural networks
mobile robot
management system
distributed systems
cost effective
computing systems