წიგნების ძებნა
წიგნები
დახმარება
შესვლა
შესვლა
ავტორიზებულ მომხმარებლებს აქვთ წვდომა:
პერსონალური რეკომენდაციები
Telegram ბოტი
ჩამოტვირთვის ისტორია
გაგზავნეთ Email-ზე ან Kindle-ზე
კრებულების მართვა
შენახვა რჩეულებში
პირადი
წიგნის მოთხოვნა
შესწავლა
Z-Recommend
წიგნების სარჩევი
ყველაზე პოპულარული
კატეგორია
მონაწილეობა
დახმარება
ატვირთვები
Litera Library
ქაღალდის წიგნების შეწირვა
ქაღალდის წიგნების დამატება
Search paper books
ჩემი LITERA Point
საკვანძო სიტყვების ძებნა
Main
საკვანძო სიტყვების ძებნა
search
1
Lógica en Haskell
José A. Alonso
cláusula
definir
ejercicio
false
bool
cláusulas
import
verifica
resolución
neg
sustitución
literal
interpretación
lista
secuente
conjunto
término
unifica
esinconsistentepordp
atom
disj
unióngeneral
objetivo
secuentes
proposicional
proposicionales
fórmula
prolog
usables
eliminaequivalencias
esprobableporsecuentes
atomo
resolventes
resolvente
delete
negativa
otherwise
regladerecha
reglaizquierda
significado
interiorizaconjunción
interiorizadisyunción
subconjunto
interiorizanegación
programa1
componentes
eliminaimplicaciones
respuestas
símbolospropfórm
unitaria
წელი:
2008
ენა:
spanish
ფაილი:
PDF, 249 KB
თქვენი თეგები:
0
/
4.0
spanish, 2008
1
მიჰყევით
ამ ბმულს
ან Telegram-ში მოძებნეთ „@BotFather“ ბოტი
2
გაგზავნეთ ბრძანება /newbot
3
შეიყვანეთ თქვენი ბოტის სახელი
4
შეიყვანეთ მომხმარებლის სახელი ბოტისთვის
5
დააკოპირეთ BotFather-ისგან ბოლო შეტყობინება და ჩასვით აქ
×
×