Mechanizing Meta-Theory in Beluga (Invited Talk).

Brigitte Pientka

Published in: WPTE@RTA/TLCA (2015)

Keyphrases

invited talk
theoretical framework
theoretical basis
information technology
artificial neural networks
computational model
selected papers
meta reasoning
real time
databases
information retrieval
information systems