Natural Typesetting of Naproche Formalizations in LaTeX (short paper).

Peter Koepke Tim Lichtnau Jonas Lippert

Published in: CICM Workshops (2021)

Keyphrases

real world
website
case study
three dimensional
artificial systems
mathematical expressions
artificial intelligence
search engine
feature selection
metadata
situation calculus
semantically annotated