A General Constructive Proof Technique.

Douglas S. Bridges Luminita Vîta

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

special case
artificial intelligence
image processing
high level
multi agent systems
information technology
relational databases
artificial neural networks
control system
closely related
linear logic