Show simple item record

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

dc.contributor.authorЧень Ч., Ли Р.
dc.date.accessioned2016-03-23T18:47:24Z
dc.date.available2016-03-23T18:47:24Z
dc.date.issued1983
dc.identifier.isbn
dc.identifier.issn
dc.identifier.urihttp://libarch.nmu.org.ua/handle/GenofondUA/63633
dc.description.abstract
dc.language.isoRussian
dc.publisherНаука
dc.subjectМатематика\\Прикладная математика
dc.subjectMathematics\\Applied Mathematicsematics
dc.subject.ddc
dc.subject.lcc
dc.titleМатематическая логика и автоматическое доказательство теорем
dc.typeother
dc.identifier.aichNXZMYST3ANR5LVF7BT2UDVFHSIIJIQ7Q
dc.identifier.crc3287AF0E7E
dc.identifier.doi
dc.identifier.edonkey2254D2B65EA7BEDABFA2783FF589CCD2
dc.identifier.googlebookid
dc.identifier.openlibraryid
dc.identifier.udk
dc.identifier.bbk
dc.identifier.libgenid4680
dc.identifier.md5BD4E26C37D3287CB8586802AC209E253
dc.identifier.sha1PZNOZQFZMR4FCEGIYO5PHTFFBMMQ4Z2I
dc.identifier.tth2DXMONWFYM2GTRZ2JDWEQAI7EW3AAWY6ZIOQWGA


Files in this item

Thumbnail
Name:
bd4e26c37d3287cb8586802ac209e2 ...
Size:
4.037Mb
Format:
Unknown
View/Open

This item appears in the following Collection(s)

Show simple item record