Математическая логика и автоматическое доказательство теорем

dc.contributor.author	Чень Ч., Ли Р.
dc.date.accessioned	2016-03-23T18:47:24Z
dc.date.available	2016-03-23T18:47:24Z
dc.date.issued	1983
dc.identifier.isbn
dc.identifier.issn
dc.identifier.uri	http://libarch.nmu.org.ua/handle/GenofondUA/63633
dc.description.abstract
dc.language.iso	Russian
dc.publisher	Наука
dc.subject	Математика\\Прикладная математика
dc.subject	Mathematics\\Applied Mathematicsematics
dc.subject.ddc
dc.subject.lcc
dc.title	Математическая логика и автоматическое доказательство теорем
dc.type	other
dc.identifier.aich	NXZMYST3ANR5LVF7BT2UDVFHSIIJIQ7Q
dc.identifier.crc32	87AF0E7E
dc.identifier.doi
dc.identifier.edonkey	2254D2B65EA7BEDABFA2783FF589CCD2
dc.identifier.googlebookid
dc.identifier.openlibraryid
dc.identifier.udk
dc.identifier.bbk
dc.identifier.libgenid	4680
dc.identifier.md5	BD4E26C37D3287CB8586802AC209E253
dc.identifier.sha1	PZNOZQFZMR4FCEGIYO5PHTFFBMMQ4Z2I
dc.identifier.tth	2DXMONWFYM2GTRZ2JDWEQAI7EW3AAWY6ZIOQWGA