A Tactic Language for Hiproofs.

David Aspinall Ewen Denney Christoph Lüth

Published in: AISC/MKM/Calculemus (2008)

Keyphrases

programming language
language learning
english language
computer vision
natural language
language processing
machine learning
high level
search algorithm
user interface
modeling language
computational linguistics
specification language
english text