Search

Filters

Use filters to refine the search results.

Current Filters:



New Filters:

Showing 8 out of a total of 8 results for collection: Факултет по математика и информатика. (0.008 seconds)

Now showing items 1-8 of 8

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

Крайни модели чрез резолюция с термоиди : Категорни методи в теория на рекурсията и индуктивни дефиниции Автореферат / Антон Кирилов Зиновиев ; Науч. ръководител Любомир Иванов.

Зиновиев, Антон Кирилов; Иванов, Любомир Лалов науч. ръководител, (2014)
Теории за време и пространство, основани на региони : Динамична релационна мереотопология Автореферат / Владислав Владимиров Ненчев ; Науч. ръководител Димитър Вакарелов.

Ненчев, Владислав Владимиров; Вакарелов, Димитър Иванов науч. ръководител, (2014)
Ефективен алгоритъм за приближено търсене в регулярни множества : Автореферат / Стефан Владимиров Герджиков ; Науч. ръководител Стоян Михов.

Герджиков, Стефан Владимиров; Михов, Стоян Милков науч. ръководител, (2013)
Омега спектри на структури : Автореферат / Стефан Володев Вътев ; Науч. ръководител Александра Соскова.

Вътев, Стефан Володев; Соскова, Александра Андреева науч. ръководител, (2014)
Определимост в степенни структури : Автореферат / Андрей Константинов Сариев ; Науч. ръководител Христо Ганчев.

Сариев, Андрей Константинов; Ганчев, Христо Александров науч. ръководител, (2015)
Субрекурсивна изчислимост в анализа : Автореферат / Иван Димитров Георгиев ; Науч. ръководител Димитър Скордев.Subrecursive computability in analysis Ivan Dimitrov Georgiev

Георгиев, Иван Димитров; Скордев, Димитър Генчев науч. ръководител; Georgiev, Ivan Dimitrov, (2015)
Логики за релационни геометрични структури : Дистрибутивна мереотопология, разширени контактни алгебри и свързани безкванторни логики : Автореферат / Татяна Маринова Иванова ; Науч. ръководител Димитър Вакарелов.Logics for relational geometric structures: distributive mereotopology, extended contact algebras and related quantifier-free logics Tatyana Marinova Ivanova

Иванова, Татяна Маринова; Вакарелов, Димитър Иванов науч. ръководител; Ivanova, Tatjana Marinova., (2016)
Алгоритмични методи за некласически логики : Автореферат / Димитър Тодоров Георгиев ; Науч. ръководител Тинко Танчев.Algorithmic methods for non-classical logics Dimiter Todorov Georgiev

Георгиев, Димитър Тодоров; Georgiev, Dimitar Todorov; Тинчев, Тинко Величков науч. ръководител, (2017)

Now showing items 1-8 of 8

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

Browse

All of DSpace
This Collection
- By Issue Date
- Authors
- Titles
- Subjects

My Account

Discover

Author
Subject
- Логика, символна и математическа. (8)
- Алгоритми. (1)
- Изчислителна математика. (1)
- Космология. (1)
- Математически анализ. (1)
- Модели и моделиране. (1)
- Системен анализ. (1)
- Топология. (1)
- ... View More
Date Issued
- 2014 (3)
- 2015 (2)
- 2013 (1)
- 2016 (1)
- 2017 (1)

Search

Search

Filters

Showing 8 out of a total of 8 results for collection: Факултет по математика и информатика. (0.008 seconds)

Browse

All of DSpace

This Collection

My Account

Discover

Author

Subject

Date Issued