Login / Signup

Problems of Substitution and Admissibility in the Modal System Grz and in Intuitionistic Propositional Calculus.

Vladimir V. Rybakov
Published in: Ann. Pure Appl. Log. (1990)
Keyphrases
  • multi agent
  • propositional calculus
  • database
  • data sets
  • decision making
  • optimization problems
  • decision problems
  • neural network
  • machine learning
  • programming language
  • np complete