Сбор средств 15 Сентября 2024 – 1 Октября 2024
О сборе средств
поиск книг
книги
Сбор средств:
62.8% достигнуто
Войти
Войти
авторизованным пользователям доступны:
персональные рекомендации
Telegram бот
история скачиваний
отправить на Email или Kindle
управление подборками
сохранение в избранное
Личное
Запросы книг
Изучение
Z-Recommend
Подборки книг
Самые популярные
Категории
Участие
Поддержать
Загрузки
Litera Library
Пожертвовать бумажные книги
Добавить бумажные книги
Search paper books
Мой LITERA Point
Поиск ключевых слов
Main
Поиск ключевых слов
search
1
Deductive and Declarative Programming
Cambridge University Press
Peter Padawitz
expansion
goal
inductive
convergent
w.r.t
sect
abs
reduction
lemma
paramodulation
valid
clause
nodes
atom
makebag
sorted
theorem
insert
variables
seq
axioms
clauses
induction
implies
goals
axucs
specification
rotate
function
strongly
reductive
c_no
confluent
inductively
p_poss
parse
thm
confluence
tlist
sign
depthfirst
horn
axiom
examples
schorrwaite
directed
g_no
q_poss
axms
bubble
Год:
1992
Язык:
english
Файл:
PDF, 6.34 MB
Ваши теги:
0
/
0
english, 1992
2
Deductive and Declarative Programming
Cambridge University Press
Peter Padawitz
expansion
goal
inductive
convergent
w.r.t
sect
abs
reduction
paramodulation
lemma
valid
clause
nodes
atom
makebag
sorted
theorem
insert
variables
seq
axioms
induction
clauses
axucs
implies
specification
goals
rotate
strongly
function
c_no
confluent
p_poss
reductive
inductively
thm
confluence
tlist
parse
sign
depthfirst
horn
axiom
examples
schorrwaite
directed
g_no
q_poss
axms
bubble
Год:
1992
Язык:
english
Файл:
DJVU, 1.40 MB
Ваши теги:
0
/
0
english, 1992
1
Перейдите по
этой ссылке
или найдите бота "@BotFather" в Telegram
2
Отправьте команду /newbot
3
Укажите имя для вашего бота
4
Укажите имя пользователя для бота
5
Скопируйте последнее сообщение от BotFather и вставьте его сюда
×
×