Search academic texts

Information × Registration Number 0105U001346, ( 0207U008334  ) R & D request Title To develope a system of deductive and inductive proofs of theorems in a mathematical informatic environments Head 1.Капітонова Юлія Володимирівна; 2.Летичевський Олександр Адольфович, Registration Date 04-03-2005 Organization V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine popup.description1 popup.nrat_date 2024-12-11 Close