Fundraising September 15, 2024 – October 1, 2024
About fundraising
books search
books
articles search
articles
Fundraising:
57.5% raised
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
Software Foundations vol 2 Programming Language Foundations
Benjamin C. Pierce
,
Arthur Azevedo de Amorim
,
Chris Casinghino
,
Marco Gaboardi
,
Michael Greenberg
,
Cătălin Hriţcu
,
Vilhelm Sjöberg
,
Andrew Tolmach
,
Brent Yorgey
current
notation
constr
lemma
constructor
gamma
plf
softwarefoundations.cis.upenn.edu
pe_st
plf.smallstep
apply
simple_intropattern
plf.hoare
step
plf.morestlc
intros
rewrite
plf.references
inductive
match
_x_
goal
theorem
ltac
ident
plf.pe
plf.equiv
tactics
_x
coq
plf.norm
plf.recordsub
inversion
typing
plf.sub
false
plf.hoare2
qed
hoare
stlc
eauto
induction
appears_free_in
reflexivity
destruct
standard
hyp
plf.records
bool
auto_star
Year:
2020
Language:
english
File:
PDF, 2.20 MB
Your tags:
0
/
0
english, 2020
2
Software Foundations
iBooker it-ebooks
it-ebooks
apply
notation
constr
intros
qed
theorem
rewrite
inversion
induction
reflexivity
destruct
lemma
coq
false
admitted
anum
match
☐
pe_st
goal
function
eapply
step
prove
simpl
eauto
inductive
simple_intropattern
unfold
ltac
ident
t12
context
assumption
bool
import
tnat
require
tapp
appears_free_in
optional
proofs
tactics
hyp
typing
auto_star
lets
variables
auto_tilde
hint
Year:
2017
Language:
english
File:
EPUB, 660 KB
Your tags:
0
/
0
english, 2017
3
Managing Event Information: Modeling, Retrieval, and Applications
Morgan & Claypool Publishers
Amarnath Gupta
,
Ramesh Jain
,
M. Tamer Ozsu
event
events
graph
temporal
query
systems
cited
relationship
nodes
relationships
node
rdf
granularity
figure
database
interval
related
function
component
queries
ontology
modeling
edge
consider
defined
processing
semantic
proc
models
multimedia
relational
conf
constraints
triple
specified
constraint
instances
subevent
storytelling
complex
databases
predicate
operations
attributes
clause
session
entities
intervals
has_type
operation
Year:
2011
Language:
english
File:
PDF, 3.16 MB
Your tags:
0
/
0
english, 2011
4
Managing Event Information: Modeling, Retrieval, and Applications
Morgan & Claypool
Amarnath Gupta
,
Ramesh Jain
event
events
graph
temporal
query
systems
cited
relationship
nodes
relationships
node
rdf
granularity
figure
database
interval
related
function
component
queries
ontology
modeling
edge
consider
defined
processing
semantic
proc
models
multimedia
relational
conf
constraints
triple
specified
constraint
instances
subevent
storytelling
complex
databases
predicate
operations
attributes
clause
session
entities
intervals
has_type
operation
Year:
2011
Language:
english
File:
PDF, 2.71 MB
Your tags:
0
/
0
english, 2011
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
×
×