Fundamental Scientific Library of NAS RA

Автоматизация поиска доказательства теорем в математике / АН УССР. Ин-т кибернетики ; Отв. ред. Ю.В. Капитонов ; Отв. за вып. З.М. Сельдеров.

Contributor(s): Капитонов, Ю.В [ред.] | Сельдеров, З.М [ред.] | Институт кибернетики АН УССРMaterial type: TextTextLanguage: Russian Publication details: Киев : Изд-во ин-та кибернетики АН УССР, 1974Description: 110 сSubject(s): Прикладная математика
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Notes Date due Barcode
Գրքեր/Books Գրքեր/Books Fundamental Scientific Library
General PII/347093 (Browse shelf(Opens below)) Available 30 Days Loan FL0291684

There are no comments on this title.

to post a comment.


ՀՀ ԳԱԱ հիմնարար գիտական գրադարան
ՀՀ,Երևան 0019
Մարշալ Բաղրամյան 24/6
հեռախոս:(374-10) 52-47-50
Հետադարձ կապ

All site content, except where otherwise noted, is licensed under a
Creative Commons License