Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
22.8% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python
John Wiley & Sons
Therese Hardin
,
Mathieu Jaume
,
Francois Pessaux
,
Veronique Viguie Donzeau-Gouge
env
function
programming
memory
mem1
execution
values
em1
ocaml
isinstance
python
defined
mem2
typing
variables
error
em2
exp2
definition
obtained
integer
first
exception
functions
induction
xample
match
reference
raise
bool
vcste4
construct
inference
integers
env1
consider
τ1
features
nv2
equality
env0
alse
nv1
prove
cases
instruction
programs
mechanism
binding
env2
Рік:
2021
Мова:
english
Файл:
PDF, 8.92 MB
Ваші теги:
0
/
5.0
english, 2021
2
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 та вставте його сюди
×
×