Login / Signup

Concerning Formulas of the Types A ->B V C, A -< (Ex)B(x).

Ronald Harrop
Published in: J. Symb. Log. (1960)
Keyphrases
  • artificial neural networks
  • social networks