Сбор средств 15 Сентября 2024 – 1 Октября 2024
О сборе средств
поиск книг
книги
Сбор средств:
15.1% достигнуто
Войти
Войти
авторизованным пользователям доступны:
персональные рекомендации
Telegram бот
история скачиваний
отправить на Email или Kindle
управление подборками
сохранение в избранное
Личное
Запросы книг
Изучение
Z-Recommend
Подборки книг
Самые популярные
Категории
Участие
Поддержать
Загрузки
Litera Library
Пожертвовать бумажные книги
Добавить бумажные книги
Открыть LITERA Point
Поиск ключевых слов
Main
Поиск ключевых слов
search
1
Computer-aided reasoning: ACL2 case studies
Springer US
Matt Kaufmann
,
Panagiotis Manolios
,
J. Strother Moore (auth.)
,
Matt Kaufmann
,
Panagiotis Manolios
,
J. Strother Moore (eds.)
acl2
function
equal
theorem
path
functions
defun
stack
prove
standard
rcfn
implies
lemma
define
defthm
step
compiler
cdr
nth
defined
input
values
verification
module
formal
occ
execution
theorems
lisp
lemmas
netlist
update
programs
inst
sts
instruction
rdfn
recursion
calculus
integer
proved
gem
correct
output
correctness
figure
hints
induction
realp
proofs
Год:
2000
Язык:
english
Файл:
DJVU, 2.77 MB
Ваши теги:
0
/
0
english, 2000
2
Computer-Aided Reasoning: ACL2 Case Studies
Springer US
Matt Kaufmann
,
Panagiotis Manolios
,
J. Strother Moore (auth.)
,
Matt Kaufmann
,
Panagiotis Manolios
,
J. Strother Moore (eds.)
acl2
function
equal
theorem
path
functions
defun
stack
prove
standard
rcfn
implies
lemma
defthm
define
step
compiler
cdr
nth
defined
input
values
verification
module
formal
occ
execution
theorems
lisp
lemmas
netlist
rdfn
update
inst
programs
reasoning
instruction
sts
recursion
integer
proved
correct
gem
calculus
correctness
hints
output
figure
induction
realp
Год:
2000
Язык:
english
Файл:
PDF, 11.72 MB
Ваши теги:
0
/
0
english, 2000
3
極上生徒会 第02巻
メディアワークス
まったくモー助
peach
gonzo
abr
ark
ems
entertainment
isbn4
konami
mred
s38
sbe
wea
13th
acre
ags
bekulele
bie
bnycotle
brs
bso
buea
bur
c9979
comics
dears
dearsastasyv9d7y7
dengeki
edge
fsa
goy
graphero
i7uto
iee
klyufeoef
lesson
lessons
mediaworks
mleeli
ntt
o2btv
ockito
oer
ogee
okdumhrame
omg
ores
osh
owe
pitied
raboe
Год:
2006
Язык:
japanese
Файл:
PDF, 37.32 MB
Ваши теги:
0
/
0
japanese, 2006
1
Перейдите по
этой ссылке
или найдите бота "@BotFather" в Telegram
2
Отправьте команду /newbot
3
Укажите имя для вашего бота
4
Укажите имя пользователя для бота
5
Скопируйте последнее сообщение от BotFather и вставьте его сюда
×
×