Sign in

Proof techniques in Membrane Computing.

David Orellana-MartínLuis Valencia-CabreraMario J. Pérez-Jiménez
Published in: Theor. Comput. Sci. (2021)
Keyphrases
  • real world
  • lower bound
  • databases
  • neural network
  • computer science
  • information technology
  • artificial neural networks
  • probability distribution
  • theorem prover
  • linear logic