Login / Signup

Comparing some Intuitions of 'Process Calculus' and 'Program Logic'.

Sam Steel
Published in: J. Log. Comput. (2001)
Keyphrases
  • artificial intelligence
  • relational databases
  • neural network
  • data mining
  • search engine
  • knowledge representation
  • modal logic