Автоматизация поиска доказательства теорем в математике /

Պահպանված է:
Մատենագիտական մանրամասներ
Համատեղ հեղինակ: Институт кибернетики АН УССР
Այլ հեղինակներ: Капитонов, Ю.В (Խմբագիր, ред.), Сельдеров, З.М (Խմբագիր, ред.)
Ձևաչափ: Գիրք
Լեզու:Russian
Հրապարակվել է: Киев : Изд-во ин-та кибернетики АН УССР, 1974.
Խորագրեր:
Прикладная математика
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
LEADER 00911nam a2200217 a 4500
001 000055026
003 AM-YEHGA
005 20240826192414.0
008 030329s1974 un || |||||||||||||rus|c
040 |a AM-YEHGA  |c AM-YeHGA 
041 0 |a rus 
245 0 0 |a Автоматизация поиска доказательства теорем в математике /  |c АН УССР. Ин-т кибернетики ; Отв. ред. Ю.В. Капитонов ; Отв. за вып. З.М. Сельдеров. 
260 |a Киев :  |b Изд-во ин-та кибернетики АН УССР,  |c 1974. 
300 |a 110 с. 
650 1 4 |a Прикладная математика 
700 1 |a Капитонов, Ю.В.  |e ред.  |4 edt 
700 1 |a Сельдеров, З.М.  |e ред.  |4 edt 
710 2 |a Институт кибернетики АН УССР 
942 |c BK 
999 |c 15619 
952 |o PII/347093  |p FL0291684 

Նմանատիպ նյութեր