Автоматизация решения логико-комбинаторных задач : Сборник науч. трудов / АН Белор. ССР. Ин-т техн. кибернетики.

Contributor(s):

Material type: Text

TextLanguage: Russian Минск, 1985Description: 154 сSubject(s):

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode
წიგნი	ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ.	510.6 (Browse shelf(Opens below))	2R668486	შესამოწმებელია		2016-25497
წიგნი	ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ.	510.6 (Browse shelf(Opens below))	2R669904	შესამოწმებელია		2016-33338

Previous	No cover image available	No cover image available	No cover image available	No cover image available		No cover image available	No cover image available	Next
Previous	510.6 Математическая логика и математическая лингвистика :	510.6 Математическая логика, математическая лингвистика по теория алгоритмов :	510.6 Математическая теория программирования :	510.6 Автоматизация решения логико-комбинаторных задач :	510.6 Logik macht Spass :	510.6 Математическая логика /	510.6 Математическая логика /	Next

Библиогр. в конце статей.

There are no comments on this title.

to post a comment.

National Science Library of Georgia