Decreasing sentences in Simple Type Theory.

Panagiotis Rouvelas

Published in: Math. Log. Q. (2017)

Keyphrases

database
general theory
real time
databases
artificial intelligence
natural language
co occurrence
theoretical framework
theoretical basis
highly reliable
human generated