VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

A
Artificial Intelligence
ATP
ATP competitions
ATP process
automated reasoning
automated theorem proving
automated theorem proving process
B
Beagle
C
Constraints
D
De Bruijn
Description Logics
discrimination tree
E
EPR
equational logic
F
first-order logic
formal mathematics
G
geometric logic
H
HOL4
I
instance-based theorem proving
L
large theories
large-theory automated reasoning
Logics
M
machine learning
model finding
model-based theorem proving
model-finding
O
OCaml
P
polymorphism
prime implicates
prime impliquates
provenance
Q
quantifier instantiation
S
semantic guidance
strategy development
substitution
superposition
superposition calculus
T
term representation
theorem proving
TPTP
TPTP process Instruction language
Translation
U
Unification