Login / Signup

From Brouwerian Counter Examples to the Creating Subject.

Dirk van Dalen
Published in: Stud Logica (1999)
Keyphrases
  • counter examples
  • logic programs
  • answer sets
  • databases
  • cooperative
  • database
  • real time
  • data mining
  • information systems
  • image processing
  • digital images