Darowizna 15 września 2024 – 1 października 2024
O zbieraniu funduszy
wyszukiwanie książek
książki
Darowizna:
63.3% wykorzystano
Wejdź
Wejdź
uprawnieni użytkownicy mają dostęp do:
osobiste rekomendacje
Bot Telegramu
historia pobierania
wyślij do Email lub Kindle
zarządzanie zbiorami
zapisywanie w ulubionych
Osobiste
Zapytania o książkę
Nauka
Z-Recommend
Lista książek
Najbardziej popularne
Kategorie
Uczestnictwo
Wsparcie
Pobrania
Litera Library
Podaruj papierowe książki
Dodaj papierowe książki
Search paper books
Mój LITERA Point
Wyszukiwanie kluczowych słów
Main
Wyszukiwanie kluczowych słów
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
Rok:
1988
Język:
english
Plik:
DJVU, 2.40 MB
Twoje tagi:
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
Rok:
1988
Język:
english
Plik:
PDF, 19.03 MB
Twoje tagi:
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
Rok:
1996
Język:
english
Plik:
DJVU, 2.94 MB
Twoje tagi:
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
Rok:
1996
Język:
english
Plik:
PDF, 11.43 MB
Twoje tagi:
0
/
0
english, 1996
1
Skorzystaj z
tego linku
lub wyszukaj bota „@BotFather” w Telegramie
2
Wyślij polecenie /newbot
3
Wpisz nazwę swojego bota
4
Wprowadź nazwę użytkownika dla bota
5
Skopiuj najnowszą wiadomość od BotFather i wklej ją tutaj
×
×