Steen, Alexander[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Dec-2015
ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics
Benzmüller, Christpoh
Otten, Jens
EasyChair
EPiC Series in Computing, Vol. 33
59-64
Yes
No
International
Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2014)