Search alternatives:
automated theory » automated theorem, automata theory, automatic theorem
languages » language
Cover Image
Read Now

1
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...THF0 – The Core of the TPTP Language for Higher-Order Logic -- Focusing in Linear Meta-logic...”
Cover Image
Read Now

2
Published 2014
Springer International Publishing
Table of Contents: “... Programming Languages and Methods for Semantic Analyses (Extended Abstract of Invited Talk) -- Unnesting...”