Login / Signup

Finite Quantification in Hierarchic Theorem Proving.

Peter BaumgartnerJoshua BaxUwe Waldmann
Published in: IJCAR (2014)
Keyphrases