Stanislav Vassilyev

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
New automatic theorem proving (ATP) techniques for application in control syst~nR and artificial intelligence is proposed. We consider new logical languages in descrip~ive and constructive semantics. These languages censist of 1-st c~der fc~muins with type quantifie~s. We de’he logical calculi of classical and intuitionistic types as well as strategies of(More)
  • 1