pretraga knjiga
knjige
Donirati
Prijaviti se
Prijaviti se
prijavljenim korisnicima su dostupni:
lične preporuke
Telegram bot
istorija preuzimanja
poslati na Email ili Kindle
upravljanje zbirkama
sačuvanje u izabrano
Lično
Upite za knjige
Proučavanje
Z-Recommend
Spiskovi knjiga
Najpopularnije
Kategorije
Učešće
Donirati
Otpremanja
Litera Library
Donirati papirne knjige
Dodati papirne knjige
Search paper books
Moj LITERA Point
Pretraga ključnih reči
Main
Pretraga ključnih reči
search
1
Deductive and Declarative Programming
Cambridge University Press
Peter Padawitz
expansion
goal
inductive
convergent
w.r.t
sect
abs
reduction
lemma
paramodulation
valid
clause
nodes
atom
makebag
sorted
theorem
insert
variables
seq
axioms
clauses
induction
implies
goals
axucs
specification
rotate
function
strongly
reductive
c_no
confluent
inductively
p_poss
parse
thm
confluence
tlist
sign
depthfirst
horn
axiom
examples
schorrwaite
directed
g_no
q_poss
axms
bubble
Godina:
1992
Jezik:
english
Fajl:
PDF, 6.34 MB
Vaši tagovi:
0
/
0
english, 1992
2
Deductive and Declarative Programming
Cambridge University Press
Peter Padawitz
expansion
goal
inductive
convergent
w.r.t
sect
abs
reduction
paramodulation
lemma
valid
clause
nodes
atom
makebag
sorted
theorem
insert
variables
seq
axioms
induction
clauses
axucs
implies
specification
goals
rotate
strongly
function
c_no
confluent
p_poss
reductive
inductively
thm
confluence
tlist
parse
sign
depthfirst
horn
axiom
examples
schorrwaite
directed
g_no
q_poss
axms
bubble
Godina:
1992
Jezik:
english
Fajl:
DJVU, 1.40 MB
Vaši tagovi:
0
/
0
english, 1992
3
iRMX 86和iRMX88 I/O系统设备驱动程序编写指南 第15册
航空工业部第五七四厂
航空工业部第五七四厂翻译
device
declare
iors
duib
byte
pointer
interrupt
finish
literally
sinclude
esok
drivers
nolist
cancel
printer
compiler
driver
port
actual
examples
info
priority
funct
irmx
tors
count
module
1lit
iors.done
irmx86
output
ddata
iors.status
task
commonsdevicesinfosptr
function
iors.actual
printersstartsinterrupt
detach
duibsptr
initsio
queue
ssave
subfunct
units
valid
bie
flags
functs
mra
Godina:
1983
Jezik:
chinese
Fajl:
PDF, 11.05 MB
Vaši tagovi:
0
/
0
chinese, 1983
1
Idite na
ovaj link
ili potražite bota „@BotFather“ u Telegramu
2
Pošaljite komandu /newbot
3
Navedite ime za svog bota
4
Navedite korisničko ime za bota
5
Kopirajte poslednju poruku od BotFather i ubacite je ovde
×
×