Login / Signup

The Practice of Logical Frameworks.

Frank Pfenning
Published in: CAAP (1996)
Keyphrases
  • evolutionary algorithm
  • database
  • data sets
  • databases
  • image segmentation
  • trade off
  • logical operations