Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
21.9% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити 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
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
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
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
3
Computer-Aided Reasoning: An Approach
Springer US
Matt Kaufmann
,
Panagiotis Manolios
,
J. Strother Moore (auth.)
acl2
equal
theorem
function
cdr
app
prove
induction
reasoning
implies
formula
functions
defun
prover
lisp
approach
aided
define
rewrite
consp
flatten
subgoal
macro
formal
exp
listp
alist
step
goal
proved
defined
defthm
endp
argument
proofs
theorems
definitions
symbols
command
conjecture
1st
output
perm
simplification
arguments
atom
binary
package
documentation
formulas
Рік:
2000
Мова:
english
Файл:
PDF, 8.93 MB
Ваші теги:
0
/
0
english, 2000
4
Computer-Aided Reasoning: An Approach
Springer US
Matt Kaufmann
,
Panagiotis Manolios
,
J. Strother Moore (auth.)
acl2
equal
theorem
function
cdr
app
prove
induction
reasoning
implies
defun
formula
functions
prover
lisp
approach
consp
rewrite
define
aided
flatten
subgoal
macro
formal
exp
listp
alist
step
proved
goal
endp
argument
proofs
defined
defthm
theorems
command
symbols
definitions
conjecture
1st
output
perm
simplification
atom
binary
documentation
package
arguments
formulas
Рік:
2000
Мова:
english
Файл:
DJVU, 2.07 MB
Ваші теги:
0
/
0
english, 2000
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×