A Combinator Language for Theorem Discovery.

Phil Scott Jacques D. Fleuriot

Published in: AISC/MKM/Calculemus (2012)

Keyphrases

programming language
language learning
natural language
intuitionistic logic
computational linguistics
databases
information retrieval
social networks
scientific discovery
neural network
artificial intelligence
web services
language processing
discovery process
scripting language