Элементы математической логики в системах компьютерной математики

Гарист, В. Э.

dc.contributor.author	Гарист, В. Э.
dc.date.accessioned	2023-03-02T06:56:31Z
dc.date.available	2023-03-02T06:56:31Z
dc.date.issued	2023
dc.identifier.citation	Гарист, В. Э. Элементы математической логики в системах компьютерной математики / В. Э. Гарист // Преподавание математики в высшей школе и работа с одаренными студентами в современных условиях. Teaching mathematics in higher education and working with gifted students in contemporary context: материалы Междунар. науч.-практ. семинара / М-во образования Респ. Беларусь, М-во науки и высшего образования Рос. Федерации, Бело-рус.-Рос. ун-т; редкол.: М. Е. Лустенков (гл. ред.) [и др.]. - Могилев: Белорус.-Рос. ун-т, 2023. - C. 40-43	ru_RU
dc.identifier.uri	http://e.biblio.bru.by/handle/1212121212/32860
dc.language.iso	ru	ru_RU
dc.publisher	Белорусско-Российский университет	ru_RU
dc.title	Элементы математической логики в системах компьютерной математики	ru_RU
dc.type	Article	ru_RU
dc.identifier.udc	378.147