Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024
Về việc thu tiền
tìm kiếm sách
sách
Tăng quỹ:
63.9% đạt
Đang nhập
Đang nhập
Người dùng đã xác minh danh tính được phép:`
nhận xét cá nhân
Telegram bot
Lịch sử download
gửi tới email hoắc Kindle
xóa mục
lưu vào mục được chọn
Cá nhân
Yêu cầu sách
Khám phá
Z-Recommend
Danh sách sách
Phổ biến
Thể loại
Đóng góp
Quyên góp
Lượt uload
Litera Library
Tặng sách giấy
Thêm sách giấy
Search paper books
LITERA Point của tôi
Tìm từ khóa
Main
Tìm từ khóa
search
1
A Computational Logic Handbook
Academic Press
Robert S. Boyer
,
J. Strother Moore
theorem
equal
function
cdr
reverse
append
add1
lisp
prover
axiom
functions
prove
formula
computational
rewrite
implies
induction
handbook
shell
explicit
lessp
quote
lemma
listp
event
properp
defined
zero
argument
events
proved
numberp
theorems
axioms
command
nlistp
apply
define
count
generated
proofs
symbols
stack
arguments
commands
principle
definitions
syntax
formal
eval
Năm:
1988
Ngôn ngữ:
english
File:
DJVU, 2.40 MB
Các thể loại của bạn:
0
/
0
english, 1988
2
A Computational Logic Handbook
Academic Press
Robert S. Boyer
,
J Strother Moore
theorem
equal
function
cdr
reverse
append
lisp
axiom
prover
prove
functions
add1
formula
computational
implies
induction
rewrite
shell
handbook
explicit
lessp
quote
lemma
listp
event
properp
defined
addl
zero
argument
proved
numberp
theorems
axioms
command
nlistp
subi
apply
define
count
generated
symbols
stack
arguments
events
principle
commands
definitions
syntax
eval
Năm:
1988
Ngôn ngữ:
english
File:
PDF, 19.03 MB
Các thể loại của bạn:
0
/
0
english, 1988
3
Piton: a mechanically verified assembly-level language
Kluwer
Moore J.S.
stk
piton
segment
instruction
fm9001
stack
push
tsp
addr
step
ctrl
jump
prog
theorem
okp
icode
instructionp
bitv
bool
formal
endif
correctness
function
untag
array
temporary
cdr
effects
implementation
initial
current
cadr
global
clock
listp
1st
flags
defined
fetch
figure
_x
addl
memory
specification
flg
precondition
compiler
vector
elseif
programs
Năm:
1996
Ngôn ngữ:
english
File:
DJVU, 2.94 MB
Các thể loại của bạn:
0
/
0
english, 1996
4
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
Springer
J Strother Moore
stk
piton
segment
instruction
stack
fm9001
tsp
push
addr
step
ctrl
prog
theorem
okp
icode
instructionp
formal
endif
correctness
function
jump
untag
temporary
array
bool
effects
cdr
implementation
initial
bitv
current
cadr
flags
clock
listp
defined
figure
memory
specification
_x
dehnition
precondition
compiler
vector
programs
counter
elseif
objectp
1st
flg
Năm:
1996
Ngôn ngữ:
english
File:
PDF, 11.43 MB
Các thể loại của bạn:
0
/
0
english, 1996
1
Đi tới
đường link này
hoặc tìm bot "@BotFather" trên Telegram
2
Xin gửi lệnh /newbot
3
Xin nêu tên cho bot của bạn
4
Xin nêu tên người dùng cho bot
5
Xin copy tin nhắn gần đây từ BotFather và dán nó và đây
×
×