ეროვნული სამეცნიერო ბიბლიოთეკა : National Science Library catalog › Details for: Алгоритм машинного поиска естественного логического вывода в исчислении высказиваниий / И.Яглом.

Normal view MARC view ISBD view

Алгоритм машинного поиска естественного логического вывода в исчислении высказиваниий / И.Яглом.

Material type: Text

TextМосква, 1965Description: 39 с.Subject(s): ბულის რგოლები

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

Item type	Current location	Call number	Copy number	Status	Date due	Barcode
წიგნი	ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ.	512.563 (Browse shelf)	3R32932	შესამოწმებელია		2016-15454

There are no comments for this item.