Login / Signup

Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014

Published in: ARQNL@IJCAR (2015)
Keyphrases