1 documents found
Information × Registration Number 0113U000072, ( 0218U002522  ) R & D request Title To develop new methods and tools for the effective verification and the development of complex information systems on the base of symbolic insertion modeling, deductive methods and the metnods of artificial intelligence. Head Летичевський Олександр Адольфович, Registration Date 18-01-2013 Organization V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine popup.description1 popup.nrat_date 2024-12-10 Close
search.res_rk
To develop new methods and tools for the effective verification and the development of complex information systems on the base of symbolic insertion modeling, deductive methods and the metnods of artificial intelligence.
Head: Летичевський Олександр Адольфович. To develop new methods and tools for the effective verification and the development of complex information systems on the base of symbolic insertion modeling, deductive methods and the metnods of artificial intelligence.. V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine. № 0113U000072
1 documents found

Updated: 2026-03-24


Роздрукувати цю сторінку