Sumbangan 15 hb September 2024 – 1 hb Oktober 2024
Mengenai pengumpulan sumbangan
carian buku
buku
Sumbangan:
67.8% dicapai
Log masuk ke
Log masuk ke
pengguna yang dibenarkan mempunyai akses kepada:
cadangan peribadi
Bot Telegram
sejarah muat turun
menghantar ke E-mel atau Kindle
pengurusan senarai buku
penyimpanan ke favorit
Peribadi
Permintaan buku
Penelitian
Z-Recommend
Senarai buku
Yang paling popular
Kategori
Penyertaan
Menyokong
Muat naik
Litera Library
Menyumbangkan buku kertas
Menambahkan buku-buku kertas
Search paper books
LITERA Point saya
Carian kata kunci
Main
Carian kata kunci
search
1
Extensions of Logic Programming: Second International Workshop, ELP '91 Stockholm, Sweden, January 27–29, 1991 Proceedings
Springer-Verlag Berlin Heidelberg
Martin Aronsson (auth.)
,
L. -H. Eriksson
,
L. Hallnäs
,
P. Schroeder-Heister (eds.)
false
variables
prolog
programming
clause
clauses
jumbo
goal
substitution
calculus
gcla
albino_elephant
inference
sequent
app
definitions
function
abs
programs
defined
consider
horn
query
exp
atom
rewrite
elephant
strategy
meta
search
logical
induction
step
argument
axiom
fails
succeeds
neval
elf
inductive
parameters
reduction
declarative
proceedings
implementation
systems
partial
proofs
computation
corresponding
Tahun:
1992
Bahasa:
english
Fail:
DJVU, 2.69 MB
Tag anda:
0
/
0
english, 1992
1
Ikuti
pautan ini
atau cari bot "@BotFather" dalam Telegram
2
Hantar arahan /newbot
3
Berikan nama untuk bot anda
4
Berikan nama pengguna untuk bot
5
Salin mesej terbaharu daripada BotFather dan tampalkannya di sini
×
×