Cover Image

Lean как язык формализации многоуровневых рассуждений

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Artamonov, Kim
Format:	Recurso digital
Language:	Russian
Published:	Zenodo 2025
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Современный русский язык
by: Биксалиева Римма
Published: (2026)

Глобализация, современность, узбекский язык и национальная идентичность
by: Шодихон Думахонова
Published: (2025)

Chapter Новый язык легитимации власти: рельеф входного портала Грановитой палаты Московского Кремля
by: Oleg, Verner, et al.
Published: (2026)

О понятиях ввозной язык и ньюспикеризм в социолингвистическом контексте Литвы
by: Алла Борисовна Лихачева
Published: (2020)

Собственные и внешние знания как детерминанты экспорта инноваций
by: Самоволева, С.А., et al.
Published: (2025)

Трансмутация изотопов как точная настройка S-узлов в поле вакуума
by: Волынец, Евгений Вацлавович
Published: (2026)

Фрагментация реальности как социальная опасность
by: Морев, Константин Юрьевич
Published: (2025)

Chapter Вертоград многоцветный Симеона Полоцкого как мнемотехническое и гомилетическое пособие
by: Корзо, Маргарита
Published: (2025)

Оспаривание нормативных правовых актов как способ защиты по уголовным делам
by: Кузнецов, Иван Александрович
Published: (2019)

Концептуальное проецирование как основа манипулятивного воздействия
by: Zabotkina, Vera, et al.
Published: (2025)

Умные города как фактор экономического развития
by: Нозима Хакбердиева
Published: (2025)

Chapter Парадоксальность как специфика художественного творчества Ф.М. Достоевского: приемы, стилемы, воздействие
by: Kotelnikov, Vladimir, et al.
Published: (2023)

Декорации М. В. Добужинского как версия пушкинистики
by: Alexander Markov
Published: (2020)

Наставничество как инструмент передачи знаний в разновозрастных коллективах
by: Щендрыгин, Максим Александрович
Published: (2025)

Координационные способности как фактор эффективности в синхронном плавании
by: М.И. Наджимитдинова, et al.
Published: (2026)

Темп роста как стабилизирующий фактор популяции балтийского шпрота
by: Aps, R.A., et al.
Published: (1987)

Chapter Юмор и ирония как средства борьбы с атеизмом в дискурсе Ф.М. Достоевского
by: Aloe, Stefano, et al.
Published: (2023)

Chapter Суффиксация как средство образования видовых пар в резьянском диалекте: славянская и иноязычная лексика
by: Benacchio, Rosanna
Published: (2022)

Chapter Да что видит, сие и назовет: букварь Кариона Истомина как учебный текст рубежа эпох
by: Romashina, Ekaterina
Published: (2025)

DD Гравитация: Возникающая Гравитация как Основа Космологии – Часть Шестая
by: Крюкова, Светлана
Published: (2025)

О возрождении буквицы ФИТА как элемента дореволюционного имперского наследия
by: Басаргин, Олег Сергеевич
Published: (2025)

Страхование как одна из форм защиты интересов хозяйствующих субъектов
by: Дилшод Тулаев
Published: (2024)

Lean4Lean: Verifying a Typechecker for Lean, in Lean
by: Carneiro, Mario
Published: (2024)

Сознание как фрактальная резонансная система: от нейронауки к модели Сфираль
by: Басаргин, Олег Сергеевич
Published: (2025)

Lean Nems (Lean formalization)
by: Spivack, Nova
Published: (2026)

Темпоральный конденсат как источник гравитации (TMG): Индуцированная геометрия и квантовая стабильность
by: Lemeshko, Andriy
Published: (2026)

Lean Manufacturing measurement: The relationships between Lean activities and Lean metrics
by: Diego Fernando Manotas Duque
Published: (2007)

LeanKAN: A Parameter-Lean Kolmogorov-Arnold Network Layer with Improved Memory Efficiency and Convergence Behavior
by: Koenig, Benjamin C., et al.
Published: (2025)

Lean Representational Incompleteness (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Representational Incompleteness (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Reflexive Closure (Lean formalization)
by: Spivack, Nova
Published: (2026)

Натуральные консервы из жирных видов рыб дальневосточных морей как продукция здорового питания.
by: Шульгина, Л. В., et al.
Published: (2023)

Угол, который не вместился в учебник. Рассказ‑эссе о том, как опасно путать карту с местностью, а тетрадь с реальностью
by: Pogrebnoj-Alexandroff, Aleksey
Published: (2000)

Leanings
by: Katie Miranda
Published: (2002)

Lean Aps Recursion Uniformization (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Observer Non Exhaustability (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Observer Non Exhaustability (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Reflexive Architecture Nonexhaustibility (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean construction- LC bajo pensamiento Lean
by: Miguel David Rojas López
Published: (2017)

Британская модель профилактической юстиции (preventive justice) как новая форма правового подчинения (Claim of Originality)
by: Vassilieva, Elena
Published: (2025)