Login / Signup

Two Approaches to Programs Synthesis or Implementation of Partially Defined Theories.

Victor Malyshkin
Published in: SoMeT (2012)
Keyphrases