149 citations · 563 across the 54 of their papers we have counts for
1 paper · 2 filters
Cezary Kaliszyk, Christoph Lüth
This EPTCS volume collects the post-proceedings of the 10th International Workshop On User Interfaces for Theorem Provers (UITP 2012), held as part of the Conferences on Intelligen…