Steen, Alexander ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Wisniewski, Max; Freie Universität Berlin
Benzmüller, Christoph ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL
Publication date :
29 September 2016
Event name :
GCAI 2016. 2nd Global Conference on Artificial Intelligence
Event place :
Berlin, Germany
Event date :
29-09-2016 to 02-10-2016
Audience :
International
Main work title :
GCAI 2016, 2nd Global Conference on Artificial Intelligence