поиск книг
книги
Поддержать
Войти
Войти
авторизованным пользователям доступны:
персональные рекомендации
Telegram бот
история скачиваний
отправить на Email или Kindle
управление подборками
сохранение в избранное
Личное
Запросы книг
Изучение
Z-Recommend
Подборки книг
Самые популярные
Категории
Участие
Поддержать
Загрузки
Litera Library
Пожертвовать бумажные книги
Добавить бумажные книги
Search paper books
Мой LITERA Point
Поиск ключевых слов
Main
Поиск ключевых слов
search
1
Logic Programming in Scheme
Lulu.com
Nils M Holm
goal
orange
define
variables
juice
succeeds
pizza
goals
cond
swede
memo
member0
fail
introduction
query
subgoals
function
succeed
cdr
conso
fails
lambda
unified
programming
apple
membero
neg
values
subgoal
unify
appendo
cdro
implementation
reify
functions
substitution
argument
heads
predicate
puzzle
unification
zebra
append0
circular
syntax
tr1
japanese
mem0
substitutions
tr0
Год:
2007
Язык:
english
Файл:
PDF, 152 KB
Ваши теги:
0
/
0
english, 2007
1
Перейдите по
этой ссылке
или найдите бота "@BotFather" в Telegram
2
Отправьте команду /newbot
3
Укажите имя для вашего бота
4
Укажите имя пользователя для бота
5
Скопируйте последнее сообщение от BotFather и вставьте его сюда
×
×