Login / Signup

On the Power of Substitution in the Calculus of Structures.

Novak NovakovicLutz Straßburger
Published in: ACM Trans. Comput. Log. (2015)
Keyphrases
  • power consumption
  • database
  • expert systems
  • data sets
  • machine learning
  • artificial intelligence
  • computer vision
  • artificial neural networks
  • power distribution