%0
Generic
%T
Interactive typed tactic programming in the Coq proof assistant ; Interaktives Programmieren von getypten Taktiken im Beweisassistenten Coq
%A Ziliani, Beta
%A Dreyer, Derek
%K tactics
%K Typ
%K interactive proof assistant
%K Coq
%K types
%K Interaktives Beweissystem
%K Taktik
%D 2015
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%U https://katalog.slub-dresden.de/en/?cHash=d436d54d7a76fc6fe03d5b8c85ebf4cf&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=126-ZnRzY2lkb2s6b2FpOnB1Ymxpa2F0aW9uZW4uc3VsYi51bmktc2FhcmxhbmQuZGU6MjAuNTAwLjExODgwLzI2NjU0&tx_find_find%5Btype%5D=endnote