Login / Signup

Logic Implemented Functionally.

Norbert EisingerTim GeislerSven Panne
Published in: PLILP (1997)
Keyphrases
  • logic programming
  • modal logic
  • asynchronous circuits
  • data sets
  • database systems
  • learning environment