Normal view MARC view

ITP (Conference) (8th : 2017 : Brasília, Brazil) (Meeting Name)

Number of records used in: 1

Preferred form: ITP (Conference) (8th : 2017 : Brasília, Brazil)

Machine generated authority record.

Work cat.: (AT-ISTA): ITP (Conference) (8th : 2017 : Brasília, Brazil), Interactive theorem proving :