Gentzen Style Systems for K45 and K45D.

Grigori F. Shvarts

Published in: Logic at Botik (1989)

Keyphrases

management system
artificial intelligence
artificial neural networks
expert systems
intelligent systems
case study
three dimensional
user interface
distributed systems
learning systems
complex systems