Normal view
MARC view
Urban, Christian (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): ITP (Conference) (6th : 2015 : Nanjing, China) 54912, Interactive theorem proving :