Login / Signup
Proof Strategy Language.
Yutaka Nagashima
Published in:
Arch. Formal Proofs (2016)
Keyphrases
</>
programming language
language learning
search strategy
language processing
specification language
real time
natural language
english language
learning algorithm
search algorithm
theorem proving
computational linguistics
linear logic
proof theory
scripting language