Login / Signup
Implementation of the Composition-nominative Approach to Program Formalization in Mizar.
Ievgen Ivanov
Artur Kornilowicz
Mykola S. Nikitchenko
Published in:
Comput. Sci. J. Moldova (2018)
Keyphrases
</>
implementation details
formal model
real world
artificial intelligence
web service composition
knowledge representation
real time
computer assisted
efficient implementation
business processes
implementation issues
computer programs
test cases
optimal solution
case study
website
neural network