Login / Signup

Focussing Proof-Net Construction as a Middleware Paradigm.

Jean-Marc Andreoli
Published in: CADE (2002)
Keyphrases
  • neural network
  • artificial intelligence
  • distributed systems
  • theorem prover
  • construction process
  • application layer