Login / Signup

Connecting Logical Representations and Efficient Computations.

Martin PolletVolker Sorge
Published in: Calculemus (2005)
Keyphrases