Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
HCI
/
Paper
Explanation by Automated Reasoning Using the Isabelle Infrastructure Framework.
Florian Kammller
Venue
National
HCI
Year
2022
Proceedings
HCI (43)
DBLP record
conf/hci/Kammuller22 ↗
Browse the full
HCI paper archive
.