Fundraising September 15, 2024 – October 1, 2024
About fundraising
books search
books
articles search
articles
Fundraising:
21.5% raised
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Z-Recommend
Booklists
Most Popular
Categories
Contribution
Donate
Uploads
Litera Library
Donate paper books
Add paper books
Search paper books
Open LITERA Point
Terms search
Main
Terms search
search
1
Моделирование вычислительных процессов средствами пропозициональных логик
ИППИ РАН
Чагров А.В
формулы
логики
логик
точки
формула
лемма
логика
шкалы
теорема
формул
доказательство
леммы
точек
свойства
шкале
шкал
теоремы
ттг
проблема
свойство
некоторой
суперинтуиционистских
вида
модальных
нормальных
расширений
логике
множество
выполняется
конечных
доказана
истинна
точке
точка
доказательства
переменных
неразрешима
опровергается
минского
оценке
разделе
крипке
доказывается
разрешимости
свойств
вывода
любой
логику
определяем
шкалах
Year:
1997
Language:
russian
File:
DJVU, 1.39 MB
Your tags:
0
/
0
russian, 1997
2
РАБОЧАЯ ТЕТРАДЬ ПРОЕКТА
Леденева Анастасия Владимировна
проекта
рабочая
тетрадь
aгентство
cервис
kнига
бибком
оао
ооо
цкб
цели
описа
результатов
цель
оформления
проблемы
ситуа
ции
дата
дневник
достижения
задачи
измеримы
лист
полученный
предстоит
проблема
проектом
результат
сделали
smart
анализ
возможности
выполнения
достижимы
достичь
заключение
заметки
идея
изменить
инновационные
каркас
конкретны
методы
образовании
описание
ответственное
пакет
план
планирование
Language:
russian
File:
PDF, 747 KB
Your tags:
0
/
0
russian
3
УГРОЗЫ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ В УСЛОВИЯХ ПРОТИВОБОРСТВА РОССИИ И ИНОСТРАННЫХ ГОСУДАРСТВ
Муценек Витус Евгеньевич
информации
безопасности
уби
угроз
угроза
качестве
угрозы
данных
информационных
обеспечения
aгентство
cервис
kнига
бибком
оао
ооо
российской
условиях
цкб
информационной
программного
реализации
системы
федерации
bios
лицам
ошибки
россии
сценарий
эвм
аппаратного
аппаратных
внешнего
воздействия
возможных
государств
данной
защиты
иностранных
информационные
механизмов
нарушителей
нарушителя
обновления
органов
перечень
программных
систем
счёт
технологий
Language:
russian
File:
PDF, 295 KB
Your tags:
0
/
0
russian
4
Фитометрические показатели и их использование в программировании урожаев
Косьянчук В.П.
зерна
культур
листьев
площадь
показатели
посевов
озимой
пшеницы
тыс
сельскохозяйственных
химизации
зерен
млн
средств
урожая
урожайность
деятельности
исследования
масса
наиболее
посева
растений
структуры
уборке
урожай
урожайности
фотосинтетической
число
бгсха
брянской
вегетации
высева
выход
единиц
колосе
листовой
максимальная
московская
площади
поверхности
посевы
семян
сорта
таблица
технологии
условиях
белоруссии
биологизации
биомассы
в.п
Language:
russian
File:
PDF, 81 KB
Your tags:
0
/
0
russian
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×