References of "Otten, Jens"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailARQNL 2018 Automated Reasoning in Quantified Non-Classical Logics
Benzmüller, Christoph UL; Otten, Jens

in CEUR Workshop Proceedings (2018), 2095

Detailed reference viewed: 38 (0 UL)