Выразительные возможности кондициональных логик первого порядка с лямбда-оператором: магистерская диссертация по направлению подготовки: 47.04.01 - Философия

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
SOURCE01	1 MB	Adobe Acrobat PDF	Read	Download

Title: Выразительные возможности кондициональных логик первого порядка с лямбда-оператором: магистерская диссертация по направлению подготовки: 47.04.01 - Философия
Creator: Шарапов, Александр Сергеевич
Contributor: Научный руководитель: Борисов, Евгений Васильевич
-: Томский государственный университет: Философский факультет
Date: 2026
Publisher: Томск: [б.и.]

Relationships: Show Relationship Browser for this Object
collection(s): Философский факультет
Identifier: vital:26977
Type: магистерская диссертация

Created: 25-06-2026

1 Visitors

1 Hits

0 Downloads

Философский факультет Выразительные возможности кондициональных логик первого порядка с лямбда-оператором: магистерская диссертация по направлению подготовки: 47.04.01 - Философия