Four relevant Gentzen systems.

Steve Giambrone Aleksandar Kron

Published in: Stud Logica (1987)

Keyphrases

management system
distributed systems
intelligent systems
higher level
learning systems
closely related
databases
neural network
artificial intelligence
logic programming
complex systems
systems require