Sample records for ИЗАБЕЛЛА (УСКОРИТЕЛЬ) (isabelle)
from WorldWideScience.org

Sample records 1 - 2 shown.



1

Isabelle Lecture notes in computer science Springer Математическая логика, , лома


R/9132/828 Paulson, L. C. Isabelle [Text] : a generic theorem prover / L.C.Paulson;With contributions by T.Nipkow. - Berlin etc. : Springer , 1994. - XVII,321 p. p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; 828). - ISBN 3-540-58244-4 : 27017 р. Библиогр.:c.301-304.Указ.:с.305-321ГРНТИ 27.03.19УДК 510 Рубрики: Математическая логика Держатели документа: ГПНТБ России Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-105945 ISABELLE$

State Public Technical Library of Russia (Russian)

2

Isabelle Lecture notes in computer science 0 ^aИзабелла: Программа доказательства общей теоремы Springer ; Математическая логика , лома


Вид документа : Многотомное издание Шифр издания : K Автор(ы) : Paulson L.C. Заглавие : Isabelle : A generic theorem prover Выходные данные : Berlin et al.: Springer, 1994 Колич.характеристики :XVII,321 p.: ill. Серия: Lecture notes in computer science; 828 Примечания : ; Библиогр.:c.301-304.Указ.:с.305-321 ISBN, Цена 3-540-58244-4: Б.ц. ГРНТИ : ; 27.03.19 УДК : Предметные рубрики: Математическая логика Перейти к источнику в Интернете: Isabelle, Перейти к источнику в Интернете:  ISABELLE$

The Russian Union Catalog of Scientific Literature (Russian)