books search
books
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Z-Recommend
Booklists
Most Popular
Categories
Contribution
Donate
Uploads
Litera Library
Donate paper books
Add paper books
Search paper books
My LITERA Point
Terms search
Main
Terms search
search
1
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
Year:
1992
Language:
english
File:
DJVU, 1.40 MB
Your tags:
0
/
0
english, 1992
2
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
Year:
1992
Language:
english
File:
PDF, 6.34 MB
Your tags:
0
/
0
english, 1992
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×