Особливості інтелектуальної обробки інформації у сучасних системах автоматизації міркувань

Simple item page
dc.contributor.authorАфонін, Андрій
dc.contributor.authorЛялецький, Олександр
dc.date.accessioned2014-03-06T14:26:35Z
dc.date.available2014-03-06T14:26:35Z
dc.date.issued2013
dc.description.abstractУ статті аналізуються сучасні парадигми та стилі інтелектуальної обробки інформації в системах автоматизації міркувань.uk_UA
dc.description.abstractThe modem paradigms and styles of intelligent information processing in automated reasoning systems are considered in the paper.en_US
dc.identifier.citationАфонін А. О. Особливості інтелектуальної обробки інформації у сучасних системах автоматизації міркувань / Афонін А.О., Лялецький О.В. // Наукові записки НаУКМА. - 2013. - Т. 151 : Комп'ютерні науки. - С. 20-24.uk_UA
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/2852
dc.language.isoukuk_UA
dc.relation.sourceНаукові записки НаУКМА. - 2013. - Т. 151 : Комп'ютерні науки. - С. 20-24.uk_UA
dc.statuspublished earlieruk_UA
dc.subjectавтоматизація міркуваньuk_UA
dc.subjectобробка інформаціїuk_UA
dc.subjectмашинне доведенняuk_UA
dc.subjectТheoremauk_UA
dc.subjectIsabelleuk_UA
dc.subjectCoquk_UA
dc.subjectAutomathuk_UA
dc.subjectLambda-Clamuk_UA
dc.subjectMizaruk_UA
dc.subjectSADuk_UA
dc.subjectстаттяuk_UA
dc.subjectthinking processingen_US
dc.subjectinformation processingen_US
dc.subjectmachine proofen_US
dc.subjectTheoremaen_US
dc.subjectIsabelleen_US
dc.subjectCoqen_US
dc.subjectAutomathen_US
dc.subjectLambda-Clamen_US
dc.subjectMizaren_US
dc.subjectSADen_US
dc.titleОсобливості інтелектуальної обробки інформації у сучасних системах автоматизації міркуваньuk_UA
dc.title.alternativeFeatures of intelligent information processing in modern systems of thinking automationen_US
dc.typeArticleuk_UA
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Afonin_Lialetskyi_Osoblyvosti_intelek_obrobky.pdf
Size:
230.43 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
7.54 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
151: Комп'ютерні науки
Кафедра мультимедійних систем