Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
24.7% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Мій LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Techniques of PROLOG Programming: with Implementation of Logical Negation and Quantified Goals [program disk]
John Wiley
T.Van Le
transword
predicate
goal
trans_word
append
clause
query
vl1
assert
fail
supply
next_corners
prove_branch
vs1
consult
display_goal
builtin
queries
prolog
write_list
tab
constsymbol
tmove
path
args
_agent
setof
write_word
figure
_item
var_list
extract_symbols
collect_var
anspath
print_goal
convert_atom
retract
sample
select
reverse
failproof
univ_quantify
convert
collect_vars
vs2
abolish
adams
coord
a:b
prove
Рік:
1993
Мова:
english
Файл:
RAR, 92 KB
Ваші теги:
0
/
0
english, 1993
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×