VSL 2014: VIENNA SUMMER OF LOGIC 2014
ARQNL Program Committee

Automated Reasoning in Quantified Non-Classical Logics

IJCAR-Workshop, July 23, 2014, Vienna, Austria

 

Program Committee

The program committee of ARQNL 2014 is shown below.