buscar libros
libros
Donar
Iniciar sesión
Iniciar sesión
los usuarios autorizados tienen acceso a:
recomendaciones personales
Bot de Telegram
historial de descargas
enviar a correo electrónico o Kindle
gestión de listas de libros
guardar en favoritos
Personal
Solicitudes de libros
Estudio
Z-Recommend
Listas de libros
Más populares
Categorías
Participación
Donar
Cargas
Litera Library
Donar libros en papel
Agregar libros en papel
Search paper books
Mi LITERA Point
Búsqueda de palabras clave
Main
Búsqueda de palabras clave
search
1
Сохранение допустимости правил вывода в логиках, родственных S4.2
Рыбаков В.В.
,
Римацкий В.В.
chn
s4.2
вывода
логика
модели
правила
λ1
допустимо
логики
правило
irj
любого
сгусток
фрейма
финитно
δi
допустимые
конакрытие
конакрытий
grz
антицепь
свойство
сохраняет
существует
фрейм
правил
сгустка
сгустков
аппроксимируемая
jri
любая
любой
множество
расширяющая
элемент
rbj
глубины
допустимости
логике
следовательно
доказательство
лемма
называется
означивании
φ1
φ2
конакрытия
конакрытиям
нетривиальная
означивание
Año:
2002
Idioma:
russian
Archivo:
PDF, 346 KB
Sus etiquetas:
0
/
0
russian, 2002
1
Sigue
este link
o encuentra al bot "@BotFather" en Telegram
2
Envía el comando /newbot
3
Indica un nombre para tu bot
4
Indica un nombre de usuario para el bot
5
Copia el último mensaje de BotFather e insértalo aquí
×
×