Login / Signup

: Logic and computation.

Daniele Mundici
Published in: Ann. Pure Appl. Log. (2023)
Keyphrases
  • logic programming
  • efficient computation
  • real time
  • neural network
  • database
  • image processing
  • website
  • modal logic
  • multi valued
  • parallel computation
  • defeasible logic