Login / Signup

Open Proofs and Open Terms: A Basis for Interactive Logic.

Herman GeuversGueorgui I. Jojgov
Published in: CSL (2002)
Keyphrases
  • database
  • databases
  • neural network
  • data mining
  • database systems
  • logic programming
  • user friendly